The Programming and Proof System ATES. Advanced Techniques Integration into Efficient Scientific Software

The Programming and Proof System ATES. Advanced Techniques Integration into Efficient Scientific Software

by ARMAND PUCCETTI
  • List Price: $149.00
  • ISBN-10: 3540541888
  • ISBN-13: 9783540541882
  • Edition: Softcover reprint of
  • Type: Paperback
  • Publisher: Springer

About The Book

Today, people use a large number of "systems" ranging in complexity from washing machines to international airline reservation systems. Computers are... Read more

FINDING THE BEST PRICES

Related Books

Entrepreneurship
  • Year: 2009
  • Edition: 8th
  • Publisher: McGraw-Hill/Irwin
  • Type: Hardcover
  • ISBN13: 9780073530321
  • ISBN: 0073530328
What Got You Here Won't Get You There: How Successful...
  • Year: 2007
  • Edition: 1st
  • Publisher: Hachette Books
  • Type: Hardcover
  • ISBN13: 9781401301309
  • ISBN: 1401301304
Principles of Corporate Finance, Concise...
  • Year: 2010
  • Edition: 2nd
  • Publisher: McGraw-Hill/Irwin
  • Type: Hardcover
  • ISBN13: 9780073530741
  • ISBN: 0073530743