Model Checking Software

Checking

von Jaco Van Der Pol Michael Weber

Taschenbuch

ISBN-13: 978-3-642-16165-0

ISBN-10: 3-642-16165-0

Springer · 2011

Siehe auch (möglicherweise von anderen Autoren):
2008PaperbackModel Checking Software