Dieses Bild ist zur Zeit nicht verfügbar.

Automated Technology for Verification and Analysis

Zhiming LiuAnders P. Ravn(Herausgeber*in)
Springer (Verlag)
Erschienen am 17. Oktober 2009
Buch
Softcover
432 Seiten
978-3-642-04762-6 (ISBN)
22,85 €inkl. 7% MwSt.
Vom Verlag/Hersteller zurückgezogen

Weitere Details