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
Principles of Corporate Finance, Concise...
  • Year: -0001
  • Edition: 2nd
  • Publisher: McGraw-Hill Education
  • Type: Hardcover
  • ISBN13: 9780073530741
  • ISBN: 0073530743
Strengths Based Leadership: Great Leaders, Teams, and Why...
  • Year: 2001
  • Edition: 1st
  • Publisher: Gallup Press
  • Type: Hardcover
  • ISBN13: 9781595620255
  • ISBN: 1595620257