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

: 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

Towards mechanized mathematical assistants

: proceedings / 14th symposium, Calculemus 2007 ; 6th international conference, MKM 2007, Hagenberg, Austria, June 27 - 30, 2007. Manuel Kauers ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4573 : Lecture notes in artificial intelligence)

ISBN 978-3-540-73086-6

Lizenzpflichtig

Quelle: DNB

Types for proofs and programs

: international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1657)

ISBN 978-3-540-48167-6

Lizenzpflichtig

Quelle: DNB