Automated Technology for Verification and Analysis (Lecture Notes in Computer Science)

Taschenbuch

ISBN-13: 978-3-540-88422-4

ISBN-10: 3-540-88422-X

S. auch (eventuell von anderen Autoren):
2008	Paperback	Automated Technology for Verification and Analysis