Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr├╝cken, Germany, March 26 - April 3, 2011 ; proceedings

Bibliographic Details
Other Involved Persons: Abdulla, Parosh Aziz ; Leino, K. Rustan M. ; TACAS ; ETAPS
Format: eBook
Language:English
Published: Berlin [u.a.] : Springer 2011
ISBN:9783642198359
364219835X
3642198341
9783642198342
Series:Lecture notes in computer science 6605
Item Description:Literaturangaben.
Physical Description:Online-Ressource (XVI, 394 S.)
DOI:10.1007/978-3-642-19835-9
Subjects:
Other Editions:Show all 2 Editions
Further Information:http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10455854
Lizenzpflichtig
Zentralblatt MATH
QR Code: Show QR Code

Ilmenau University Library, Online

Holdings details from Universit├Ątsbibliothek Ilmenau, Online
Shelf Mark: -
Notes: Campuslizenz TU Ilmenau
Online Access: http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10455854
Online Access: http://dx.doi.org/10.1007/978-3-642-19835-9 [Lizenzpflichtig]
Availability: Available - Online.

Feedback Delivery Service Acquisition Suggestion