Location & Availability for: Tools and algorithms for the constructio

 Staff view

You must be logged in to Tag Records

Tools and algorithms for the construction and analysis of systems [electronic resource] : 16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /

Javier Esparza, Rupak Majumdar (eds.).

Book Cover
Names: Esparza, Javier. | Majumdar, Rupak.
Published: Berlin : Springer, c2010.
Series: Lecture notes in computer science ; 6015.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Topics: System design - Congresses. | System analysis - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Tools and algorithms for the constructio