Ergebnisliste für ISBN= "9783540752202"; Sortiert nach: Jahr, dann Urheber

  Hilfe zur Ergebnisliste


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

# Urheber Titel Jahr Bestand
1
Jones, Cliff B. Formal Methods and Hybrid Real-Time Systems [Elektronische Ressource] / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. - (Lecture Notes in Computer Science ; 4700) 

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

2007 
     
2
Jones, Cliff B., 1944- [Herausgeber] Formal methods and hybrid real time systems [Elektronische Ressource] / Cliff B. Jones ... (eds.). - (Lecture notes in computer science ; 4700) 



2007 
     
3
Jones, Cliff B., 1944- [Herausgeber] Formal methods and hybrid real-time systems / Cliff B. Jones ... (Eds.). - (Lecture Notes in Computer Science ; 4700) 



2007 
     


Vorige Seite   Nächste Seite