Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Bøker - Chapman and Hall - 9780412820601 - 31. oktober 1997
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology 1997 edition

Atsushi Togashi

Pris
¥ 31.292

Bestillingsvarer

Forventes levert 6. - 14. aug
Legg til iMusic ønskeliste
Eller

Finnes også som:

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology 1997 edition

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).


550 pages, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 31. oktober 1997
ISBN13 9780412820601
Utgivere Chapman and Hall
Antall sider 550
Mål 156 × 234 × 31 mm   ·   984 g
Språk Engelsk