Clicky

Formal description techniques and protocol specification, testing and verification by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan). and similar books you'll love - Bookscovery

Home > Authors > IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan). > Formal description techniques and protocol specification, testing and verification

Buy at: Bookshop.org Amazon

See on goodreads

Recent activity

Rate this book to see your activity here.

3 Books Similar to Formal description techniques and protocol specification, testing and verification by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan).

Bookscovery readers who liked Formal description techniques and protocol specification, testing and verification also like Formal Techniques for Networked and Distributed Systems - FORTE 2008, Stabilization, Safety, and Security of Distributed Systems and Testing of Software and Communicating Systems. How many of these have you read?

Formal Techniques for Networked and Distributed Systems - FORTE 2008 by Kenji Suzuki

Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2008
Buy this book at:
Bookshop.org Amazon

Stabilization, Safety, and Security of Distributed Systems by Teruo Higashino

Cover of Stabilization, Safety, and Security of Distributed Systems
Buy this book at:
Bookshop.org Amazon

Testing of Software and Communicating Systems by Kenji Suzuki

Cover of Testing of Software and Communicating Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal description techniques and protocol specification, testing and verification

Please sign in to leave a comment