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 est 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).

Découvrez 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.

À propos de l'auteur

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)

est l'auteur de Formal methods for protocol engineering and distributed systems. Parcourez son catalogue complet sur Booklogr.

Explorez plus de livres 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) →

Éditions et Formats

Critiques

Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.

Se connecter Connectez-vous pour écrire une critique

Questions Fréquentes

Quel est le genre de Formal methods for protocol engineering and distributed systems ?+

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

Qui a écrit Formal methods for protocol engineering and distributed systems ?+

Formal methods for protocol engineering and distributed systems a été écrit par 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).