Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ; Andreas Podelski (ed.). - Berlin : Springer, 2004. - XIV, 608 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2988)
ISBN 978-3-540-21299-7 / 3-540-21299-X kart. : EUR 77.04, sfr 127.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 9th international conference ; proceedings / TACAS 2003 ... Warsaw, Poland, April 7 - 11, 2003. H. Garavel ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2619)
ISBN 978-3-540-36577-8
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 8th international conference ; proceedings / TACAS 2002 ... Grenoble, France, April 8 - 12, 2002. J.-P. Katoen ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2280)
ISBN 978-3-540-46002-2
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 7th international conference ; proceedings / TACAS 2001 ..., Genova, Italy, April 2 - 6, 2001. T. Margaria ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2031)
ISBN 978-3-540-45319-2
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 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
: 12th international conference ; proceedings / TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Holger Hermanns ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3920)
ISBN 978-3-540-33057-8
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
Tools and algorithms for the construction and analysis of systems
: third international workshop ; proceedings / TACAS '97, Enschede, The Netherlands, April 2 - 4, 1997. Ed Brinksma (ed.). - Berlin : Springer, 1997. - X, 431 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1217)
ISBN 978-3-540-62790-6 / 3-540-62790-1 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: second international workshop ; proceedings / TACAS '96, Passau, Germany, March 27 - 29, 1996. Tiziana Margaria ; Bernhard Steffen (ed.). - Berlin : Springer, 1996. - XI, 434 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1055)
ISBN 978-3-540-61042-7 / 3-540-61042-1 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: first international workshop ; selected papers / TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. E. Brinksma ... (ed.). - Berlin : Springer, 1995. - 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1019)
ISBN 978-3-540-60630-7 / 3-540-60630-0 kart. : DM 62.00
Literaturangaben
Quelle: DNB
