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

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


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

# Urheber Titel Jahr Bestand
1
Bjørner, Dines Logics of Specification Languages [Elektronische Ressource] / edited by Dines Bjørner, Martin C. Henson. - (Monographs in Theoretical Computer Science, An EATCS Series) 

URL: http://dx.doi.org/10.1007/978-3-540-74107-7 ; Hinw.: Resolving-System

 2008 
     
2
Bjørner, Dines, 1937- [Herausgeber] Logics of specification languages / Dines Bjørner, Martin C. Henson (Herausgeber). - (Monographs in theoretical computer science) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2018/02/01/file_158/7517638.pdf
Inhaltsverzeichnis

 2008 
     


Vorige Seite   Nächste Seite