Tools and Algorithms for the Construction and Analysis of Systems

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 Procee

$98.99 $109.99
Skip to product information
Tools and Algorithms for the Construction and Analysis of Systems
  • Tools and Algorithms for the Construction and Analysis of Systems
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 Procee

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 Procee

$98.99 $109.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science Theoretical Computer Science and General Issues

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

Orna Grumberg | Michael Huth

Computers / Software Development & Engineering / General


Publication Date: 09 March 2007
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783540712084
Format: Paperback / softback
Page Count: 740

You may also like