Image from Amazon.com
Tools and algorithms for the construction and analysis of systems [electronic resource] : 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 / Orna Grumberg, Michael Huth (eds.).
Series: Lecture notes in computer science ; 4424Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: xx, 738 p. : ill., digital ; 24 cmISBN:- 9783540712091 (electronic bk.)
- 9783540712084 (paper)
- 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
- 001.64 19
No physical items for this record
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.