Items related to Tools and Algorithms for the Construction and Analysis...

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Cyprus, March 20-29, 2010, Pro - Softcover

Rupak Majumdar Javier Esparza

 
9783642120039: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Cyprus, March 20-29, 2010, Pro
Softcover
ISBN 10: 3642120032 ISBN 13: 9783642120039
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2011
  • ISBN 10 3642120032
  • ISBN 13 9783642120039
  • BindingPaperback
  • LanguageEnglish
  • Number of pages488
  • EditorRupak Majumdar

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642120015: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 6015)

Featured Edition

ISBN 10:  3642120016 ISBN 13:  9783642120015
Publisher: Springer, 2010
Softcover