Proceedings / CONCUR '92
/ Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24 - 27, 1992. W. R. Cleaveland (ed.). - Berlin : Springer, 1992. - 580 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 630)
ISBN 978-3-540-55822-4 / 3-540-55822-5 kart. : DM 104.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 5th international conference ; proceedings / TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 1999. W. R. Cleaveland (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1579)
ISBN 978-3-540-49059-3
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 5th international conference ; proceedings / TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999. W. Rance Cleaveland (ed.). - Berlin : Springer, 1999. - XI, 443 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1579)
ISBN 978-3-540-65703-3 / 3-540-65703-7 kart. : DM 102.00
Literaturangaben
Quelle: DNB
