Tools and algorithms for the construction and analysis of systems [electronic resource] : 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.)
Annotation
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Corporate Authors: | , |
Other Authors: | , |
Other title: | TACAS 2012. ETAPS 2012. |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2012.
|
Series: | Lecture notes in computer science ;
7214. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. Theoretical computer science and general issues. |
Subjects: |
Internet
Full Text (via Springer)Online
Call Number: |
QA76.9.S88 T66 2012
|
---|---|
QA76.9.S88 T66 2012 | Available |