Tools and algorithms for the construction and analysis of systems [electronic resource] : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / edited by Stefan Kowalewski, Anna Philippou.

By:

Contributor(s):

Series: Lecture notes in computer science ; 5505Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: xvi, 456 p. : ill., digital ; 24 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

In: Springer eBooks

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