Model Checking Software
von
Jaco Van Der Pol Michael Weber
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-642-16165-0
ISBN-10: 3-642-16165-0
Springer
· 2011
Siehe auch (möglicherweise von anderen Autoren):
2008
Paperback
Model Checking Software