Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck.

By:

Contributor(s):

Series: Lecture Notes in Computer Science ; 3440Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005.Description: xvii, 585 p. : ill., digital ; 23 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

In: Springer e-books

Tags from this library: No tags from this library for this title. Log in to add tags.