Treffer 1 – 2 von 2 für Suche 'Lerner, Sorin', Suchdauer: 0,04s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
High-Level verification methods and tools for verification of system-level designs von Kundu, Sudipta, Lerner, Sorin, Gupta, Rajesh K.
Veröffentlicht 2011Signatur: Wird geladen …
Standort: Wird geladen … -
2
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering von Lerner, Sorin
Veröffentlicht 2010Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …