Pastāsti draugiem par šo preci:
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology Atsushi Togashi 1997 edition
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1997. gada 31. oktobris |
| ISBN13 | 9780412820601 |
| Izdevēji | Chapman and Hall |
| Lapas | 550 |
| Izmēri | 156 × 234 × 31 mm · 984 g |
| Valoda | Angļu |