Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Kirjat - Chapman and Hall - 9780412820601 - perjantai 31. lokakuuta 1997
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 1997 edition

Atsushi Togashi

Hinta
SEK 2.529

Tilattu etävarastosta

Arvioitu toimitus pe - ti 6. - 17. kesä
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 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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä perjantai 31. lokakuuta 1997
ISBN13 9780412820601
Tuottaja Chapman and Hall
Sivujen määrä 550
Mitta 156 × 234 × 31 mm   ·   984 g
Kieli English