Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / [electronic resource] :
Logo on cover: European Joint Conferences on Theory and Practice of Software 2007 TACAS 2007 Joint European Conferences on Theory and Practice of Software ETAPS 2007
Orna Grumberg, Michael Huth (eds.).
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- xx, 738 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 4424 0302-9743 ; .
Includes bibliographical references and index.
9783540712091 (electronic bk.) 9783540712084 (paper)
System design--Congresses.
System analysis--Congresses.
Computer software--Development--Congresses.
Computer Science.
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Logics and Meanings of Programs.
Software Engineering.
001.64
Includes bibliographical references and index.
9783540712091 (electronic bk.) 9783540712084 (paper)
System design--Congresses.
System analysis--Congresses.
Computer software--Development--Congresses.
Computer Science.
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Logics and Meanings of Programs.
Software Engineering.
001.64