von Yih-Kuen Tsay Doron A. Peled
Taschenbuch
ISBN: 978-3-540-81646-1
ISBN-10: 3-540-81646-1
Springer · 2008
|
|
von Yih-Kuen Tsay Doron A. PeledTaschenbuch ISBN: 978-3-540-81646-1 ISBN-10: 3-540-81646-1 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| Taschenbuch | Automated Technology for Verification and Analysis (Lecture Notes in Computer Science) | |