Clicky

Automated Technology for Verification and Analysis by Kedar Namjoshi and similar books you'll love - Bookscovery

Home > Authors > Kedar Namjoshi > Automated Technology for Verification and Analysis

Buy at: Bookshop.org Amazon

Automated Technology for Verification and Analysis

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

Recent activity

Rate this book to see your activity here.

5 Books Similar to Automated Technology for Verification and Analysis by Kedar Namjoshi

Bookscovery readers who liked Automated Technology for Verification and Analysis also like Static Analysis, Formal description techniques and protocol specification, testing and verification and Formal Techniques for Networked and Distributed Systems - FORTE 2008. How many of these have you read?

Static Analysis by Cezara Dragoi

Cover of Static Analysis
Buy this book at:
Bookshop.org Amazon

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

Cover of Formal description techniques and protocol specification, testing and verification
Buy this book at:
Bookshop.org Amazon

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 Automated Technology for Verification and Analysis

Please sign in to leave a comment