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 è un computer network protocols, electronic data processing book di 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).

Scopri Formal methods for protocol engineering and distributed systems di 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.

Sull'Autore

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)

è l'autore di Formal methods for protocol engineering and distributed systems. Esplora il suo catalogo completo su Booklogr.

Esplora altri libri di 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) →

Edizioni e Formati

Recensioni

Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.

Accedi Accedi per scrivere una recensione

Domande Frequenti

Di che genere è Formal methods for protocol engineering and distributed systems?+

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

Chi ha scritto Formal methods for protocol engineering and distributed systems?+

Formal methods for protocol engineering and distributed systems è stato scritto da 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).