Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Bøger - Springer-Verlag New York Inc. - 9781475752601 - 11. januar 2013
Ved uoverensstemmelse mellem cover og titel gælder titel

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
DKK 1.688

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 11. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes 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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 11. januar 2013
ISBN13 9781475752601
Forlag Springer-Verlag New York Inc.
Antal sider 550
Mål 155 × 235 × 29 mm   ·   789 g
Sprog Engelsk