Treffer 1 – 3 von 3 für Suche 'de Alfaro, Luca', 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
Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures von De Alfaro, Luca, Henzinger, Thomas 1962-
Veröffentlicht 2004Signatur: Wird geladen …
Standort: Wird geladen … -
2
Proceedings of the 8th ACM international conference on Embedded software von de Alfaro, Luca
Veröffentlicht 2008Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
3
Continuous verification by discrete reasoning von De Alfaro, Luca, Manna, Zohar 1939-2018
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …