Zum Inhalt springen İnan, M. Kemal [Herausgeber:in]; Kurshan, Robert P. [Sonstige Person, Familie und Körperschaft] ; Advanced Study Institute on Verification of Digital and Hybrid Systems 1997 Antalya Verification of digital and hybrid systems : [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2000 Erschienen in: NATO: NATO ASI series / F ; 170
İnan, M. Kemal [Herausgeber:in]; Kurshan, Robert P. [Sonstige Person, Familie und Körperschaft] ; Advanced Study Institute on Verification of Digital and Hybrid Systems 1997 Antalya Verification of digital and hybrid systems : [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2000 Erschienen in: NATO: NATO ASI series / F ; 170
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (1) Wert ausschließen Mathematik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Advanced Study Institute on Verification of Digital and Hybrid Systems 1997 Antalya (1) Wert ausschließen Kurshan, Robert P. (1) Wert ausschließen İnan, M. Kemal (1) Wert ausschließen zeige weitere weniger zeigen