Model Checking Software

Michael Weber,Jaco Van Der Pol

Page count unavailable

Buy on Amazon
TwitterFacebookWhatsApp

Model Checking Software

by Michael Weber,Jaco Van Der Pol

Published

May 03, 2011

Publisher

Springer

ISBN-13

9783642161650

ISBN-10

3642161650

View on Open Library →

Frequently Asked Questions

Who is the author of Model Checking Software?

Model Checking Software was written by Michael Weber,Jaco Van Der Pol.

When was Model Checking Software published?

The publication date for this specific edition is May 03, 2011. The original work may have been published on a different date.