Treffer 1 – 2 von 2 für Suche 'VMCAI New Orleans, La', Suchdauer: 0,05s
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
Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, proceedings
Veröffentlicht 2020“… VMCAI New Orleans, La …”
Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
2
Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings
Veröffentlicht 2020“… VMCAI New Orleans, La …”
Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …