Bibliothek Systemsoftware
Benutzer Paßwort

SSW-Bibliothek / Publikations-Detailinformation
Tests and Proofs  
First International Conference, TAP 2007
ISBN:
Ausgabe: 2007
Ausgabejahr: 2007
Autor(en): B. Meyer ,  Yuri Gurevich
Verlag: Springer
Publikationstyp: Buch
Publikationskategorie: 0.2 0.2 Tagungsbände
SSW-Nummer: 1543
Bibliothek: SSW-Bibliothek
Standort: SSW-Bibliothek
Stichwörter:
Kurzbeschreibung: