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

Olin's Construction: Principles, Materials, and Methods
  • Year: 2006
  • Edition: 8th
  • Publisher: Wiley
  • Type: Hardcover
  • ISBN13: 9780471714057
  • ISBN: 0471714054
Structural Steel Design (4th Edition)
  • Year: 2007
  • Edition: 4th
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780132218160
  • ISBN: 013221816X
Spanish for the Construction Trade
  • Year: 2007
  • Edition:
  • Publisher: Barron's Educational Series
  • Type: Paperback
  • ISBN13: 9780764135880
  • ISBN: 0764135880