Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Chapman and Hall
SKU: 9780412820601
Price: 1100.75 RON
Availability: InStock

FORTE X / PSTV XVII 97

Autor: Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Limbă:

Legare: Copertă tare

Editura: Chapman and Hall

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

1 100.75 lei

Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communicati...

Informații despre carte

Autor

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1997

Pagini

550

EAN

9780412820601

ISBN

0412820609

Enbook ID

01983571

Editura

Chapman and Hall

Greutate

2170

Dimensiuni

156 x 234 x 35

Descriere completă

Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, and Logic).

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII 97

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și