Skip to main content

Formal methods for protocol engineering and distributed systems

0.0
Computer network protocolsElectronic data processingFormal methodsDistributed processing
Browse all genres
ISBN
9780792386469

Formal methods for protocol engineering and distributed systems, 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) tarafından yazılmış bir computer network protocols, electronic data processing book.

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) tarafından yazılan Formal methods for protocol engineering and distributed systems kitabını keşfedin, computer network protocols.

Yazar Hakkında

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)

Formal methods for protocol engineering and distributed systems kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.

Booklogr'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) adlı yazarın diğer kitaplarını keşfedin. →

Baskılar ve Formatlar

Yorumlar

Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.

Giriş yap Yorum yazmak için giriş yapın

Sıkça Sorulan Sorular

Formal methods for protocol engineering and distributed systems hangi türde?+

Formal methods for protocol engineering and distributed systems bir Computer network protocols, Electronic data processing, Formal methods, Distributed processing kitabıdır.

Formal methods for protocol engineering and distributed systems kitabını kim yazdı?+

Formal methods for protocol engineering and distributed systems, 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) tarafından yazılmıştır.