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

Job Challenge Profile: Participant's Workbook
  • Year: 1999
  • Edition: 1st
  • Publisher: Pfeiffer
  • Type: Paperback
  • ISBN13: 9780787945053
  • ISBN: 0787945056
Corporate Finance 9th Edition (McGraw-Hill/Irwin Series...
  • Year: 2009
  • Edition: 9th
  • Publisher: McGraw-Hill/Irwin
  • Type: Hardcover
  • ISBN13: 9780077337629
  • ISBN: 007733762X
Essentials of Negotiation
  • Year: -0001
  • Edition: 5th
  • Publisher: McGraw-Hill Education
  • Type: Paperback
  • ISBN13: 9780073530369
  • ISBN: 0073530360