Skip to main content

Formal description techniques and protocol specification, testing, and verification

0.0
Computer network protocolsElectronic data processingDistributed processingFormal methods
Browse all genres

ISBN

9780412847608

Formal description techniques and protocol specification, testing, and verification, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France) 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 Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France) tarafından yazılan Formal description techniques and protocol specification, testing, and verification 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 Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France)

Formal description techniques and protocol specification, testing, and verification 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 Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France) 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 description techniques and protocol specification, testing, and verification hangi türde?+

Formal description techniques and protocol specification, testing, and verification bir Computer network protocols, Electronic data processing, Distributed processing, Formal methods kitabıdır.

Formal description techniques and protocol specification, testing, and verification kitabını kim yazdı?+

Formal description techniques and protocol specification, testing, and verification, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France) tarafından yazılmıştır.