Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma

Bibliographic Details
Main Author: Ramakrishnan, C. R.
Other Involved Persons: Rehof, Jakob ; TACAS ; ETAPS
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer 2008
ISBN:9783540788003
354078800X
9783540787990
3540787992
Series:Lecture notes in computer science 4963
Physical Description:Online-Ressource v.: digital
DOI:10.1007/978-3-540-78800-3
Subjects:
Other Editions:Show all 3 Editions
Further Information:Lizenzpflichtig
Zentralblatt MATH
urn:nbn:de:1111-2008062601
QR Code: Show QR Code