
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
Related Books

$336
Entrepreneurship
- Year: 2009
- Edition: 8th
- Publisher: McGraw-Hill/Irwin
- Type: Hardcover
- ISBN13: 9780073530321
- ISBN: 0073530328

- Year: -0001
- Edition: 2nd
- Publisher: McGraw-Hill Education
- Type: Hardcover
- ISBN13: 9780073530741
- ISBN: 0073530743

- Year: 2001
- Edition: 1st
- Publisher: Gallup Press
- Type: Hardcover
- ISBN13: 9781595620255
- ISBN: 1595620257