Bücher nach ISBN
>
Springer
> Yih-Kuen Tsay Doron A. Peled
Yih-Kuen Tsay Doron A. Peled
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Automated Technology for Verification and Analysis
978-3-54O-81646-1
(3-54O-81646-1)
2008
K. D.
·
T D
·
Yih-Kuen Tsay
Yik Koon Teh