Formal methods for protocol engineering and distributed systems

Name: Formal methods for protocol engineering and distributed systems
Author: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)
ISBN: 9780792386469

by IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)

0.0

Computer network protocols Electronic data processing Formal methods Distributed processing

Browse all genres

ISBN: 9780792386469

Formal methods for protocol engineering and distributed systems es un computer network protocols, electronic data processing book de IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China).

Descubre Formal methods for protocol engineering and distributed systems de IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China), computer network protocols.

Sobre el Autor

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)

es el autor de Formal methods for protocol engineering and distributed systems. Explora su catálogo completo en Booklogr.

Explora más libros de IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China) →

Ediciones y Formatos

Reseñas

Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.

Iniciar sesión Inicia sesión para escribir una reseña

Preguntas Frecuentes

¿De qué género es Formal methods for protocol engineering and distributed systems?+

Formal methods for protocol engineering and distributed systems es un libro de Computer network protocols, Electronic data processing, Formal methods, Distributed processing.

¿Quién escribió Formal methods for protocol engineering and distributed systems?+

Formal methods for protocol engineering and distributed systems fue escrito por IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China).