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

What Got You Here Won't Get You There: How Successful...
  • Year: 2007
  • Edition: 1st
  • Publisher: Hachette Books
  • Type: Hardcover
  • ISBN13: 9781401301309
  • ISBN: 1401301304
Entrepreneurship
  • Year: 2009
  • Edition: 8th
  • Publisher: McGraw-Hill/Irwin
  • Type: Hardcover
  • ISBN13: 9780073530321
  • ISBN: 0073530328
Mergers, Acquisitions, and Other Restructuring...
  • Year: 2011
  • Edition: 6th
  • Publisher: Academic Press
  • Type: Hardcover
  • ISBN13: 9780123854858
  • ISBN: 0123854857