Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9783030614676"; 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
Margaria, Tiziana [Herausgeber] Leveraging Applications of Formal Methods, Verification and Validation: Applications [Online-Ressource] / edited by Tiziana Margaria, Bernhard Steffen. - 1st ed. 2020. - (Theoretical Computer Science and General Issues ; 12478) 

URL: https://doi.org/10.1007/978-3-030-61467-6 ; Hinw.: Resolving-System

 2020 
     


Vorige Seite   Nächste Seite