Request 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 : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings /

Cormac Flanagan, Barbara König (eds.).

Book Cover
Names: Flanagan, Cormac. | König, Barbara
Published: Berlin ; Springer, ©2012.
Series: Lecture notes in computer science ; 7214.
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. | Informatique.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add

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

You must first login before requesting items.