
Vinkkaa tuotetta kavereillesi:
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
Atsushi Togashi
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 |
Katso kaikki joka sisältää Atsushi Togashi ( Esim. Hardcover Book Ja Paperback Book )