Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Pa

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Pa

  • List Price: $107.00
  • ISBN-10: 3642287557
  • ISBN-13: 9783642287558
  • Edition: 2012nd
  • Type: Paperback
  • Publisher: Springer

About The Book

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS... Read more

FINDING THE BEST PRICES

Related Books

Construction Methods and Management (8th Edition)
  • Year: 2010
  • Edition: 8th
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780135000793
  • ISBN: 0135000793
Structural Steel Design (4th Edition)
  • Year: 2007
  • Edition: 4th
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780132218160
  • ISBN: 013221816X
Soils and Foundations (7th Edition)
  • Year: 2007
  • Edition: 7th
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780132221382
  • ISBN: 0132221381