Recomienda este artículo a tus amigos:
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 - IFIP Advances in Information and Communication Technology Atsushi Togashi Softcover reprint of the original 1st ed. 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).
561 pages, 48 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 11 de enero de 2013 |
| ISBN13 | 9781475752601 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 550 |
| Dimensiones | 155 × 235 × 29 mm · 789 g |
| Lengua | Inglés |