Tools and algorithms for the construction and analysis of systems
: 4th international conference ; proceedings / TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Bernhard Steffen (ed.). - Berlin : Springer, 1998. - XIII, 455 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1384)
ISBN 978-3-540-64356-2 / 3-540-64356-7 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 6th international conference ; proceedings / TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Susanne Graf ; Michael Schwartzbach (ed.). - Berlin : Springer, 2000. - XIV, 552 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1785)
ISBN 978-3-540-67282-1 / 3-540-67282-6 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 6th international conference ; proceedings / TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000. S. Graf ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1785)
ISBN 978-3-540-46419-8
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 4th international conference ; proceedings / TACAS '98 ..., Lisbon, Portugal, March 28 - April 4, 1998. B. Steffen (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1384)
ISBN 978-3-540-69753-4
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 14th international conference ; proceedings / TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. C. R. Ramakrishnan ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4963)
ISBN 978-3-540-78800-3
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007 ... Orna Grumberg ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4424)
ISBN 978-3-540-71209-1
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Orna Grumberg ; Michael Huth (ed.). - Berlin : Springer, 2007. - XX, 738 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4424)
ISBN 978-3-540-71208-4 / 3-540-71208-9 kart. : EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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 ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2988)
ISBN 978-3-540-24730-2
Lizenzpflichtig
Quelle: DNB
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
