Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Kirjat - Springer-Verlag New York Inc. - 9781475752601 - perjantai 11. tammikuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
R$ 1.339,69

Tilattu etävarastosta

Arvioitu toimitus ke - to 6. - 14. elo
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 11. tammikuuta 2013
ISBN13 9781475752601
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 550
Mitta 155 × 235 × 29 mm   ·   789 g
Kieli English