Automated Technology for Verification and Analysis

Technology

von Yih-Kuen Tsay Doron A. Peled

Taschenbuch

ISBN: 978-3-540-81646-1

ISBN-10: 3-540-81646-1

Springer · 2008

Siehe auch (möglicherweise von anderen Autoren):
 TaschenbuchAutomated Technology for Verification and Analysis (Lecture Notes in Computer Science)