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 - Springer-Verlag New York Inc. - 9781475752601 - 11. januar 2013
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 Softcover reprint of the original 1st ed. 1997 edition

Atsushi Togashi

Pris
₩ 292.500

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 Softcover reprint of the original 1st ed. 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).


561 pages, 48 black & white illustrations, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 11. januar 2013
ISBN13 9781475752601
Utgivere Springer-Verlag New York Inc.
Antall sider 550
Mål 155 × 235 × 29 mm   ·   789 g
Språk Engelsk