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

Core Curriculum: Introductory Craft Skills, Trainee...
  • Year: 2009
  • Edition: 4th
  • Publisher: Prentice Hall
  • Type: Paperback
  • ISBN13: 9780136086376
  • ISBN: 0136086373
Spanish for the Construction Trade
  • Year: 2007
  • Edition:
  • Publisher: Barron's Educational Series
  • Type: Paperback
  • ISBN13: 9780764135880
  • ISBN: 0764135880
Construction Surveying and Layout: A Step-By-Step Field...
  • Year: 2002
  • Edition: 3rd
  • Publisher: Wesley G. Crawford
  • Type: Hardcover
  • ISBN13: 9780964742116
  • ISBN: 096474211X