Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9783319522340"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 1 von 1  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Bouajjani, Ahmed [Herausgeber] Verification, Model Checking, and Abstract Interpretation [Online-Ressource] / edited by Ahmed Bouajjani, David Monniaux. - (Lecture Notes in Computer Science ; 10145) 

URL: http://dx.doi.org/10.1007/978-3-319-52234-0 ; Hinw.: Resolving-System
URL: http://digitale-objekte.hbz-nrw.de/storage2/2018/07/07/file_341/8096458.pdf
Weitere externe Links

2017 
     


Vorige Seite   Nächste Seite