Suchfeld einblenden
Person Jones, Cliff B.
2 Treffer
Seite < 1 >
Formal methods and hybrid real-time systems
: essays in honor of Dines Bjørner and Chaochen Zhou on the occasion of their 70th birthdays / Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4700)
ISBN 978-3-540-75221-9
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: 4th international colloquium ; proceedings / ICTAC 2007, Macao, China, September 26 - 28, 2007. Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4711)
ISBN 978-3-540-75292-9
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
