The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,) - Softcover
Synopsis
This book presents the main results of Project 1158 "ATES" in the Subprogramme "Software Technology" of ESPRIT, the European Strategic Programme for Research and Development in Information Technology supported by the European Communities. The ATES system integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification. A finite element software library has been developed to evaluate the potential of these advances for large-scale scientific and technical software packages. The systematic and pragmatic approach to software design suggested by the ATES method may help software engineers to increase the quality of industrial software, by using on a wider scale abstract programming languages and compliance checking techniques.
"synopsis" may belong to another edition of this title.
Search results for The Programming and Proof Systems Ates: Advanced Techniques...
Stock Image
The Programming and Proof System ATES. Advanced Techniques Intergration into Efficient Scientific Software
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Tuesday, May 26 (SALE item)* 341 pp., softcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB276611
Stock Image
The Programming and Proof System ATES - Advanced Techniques Integration into Efficient Scientific Software
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-109809
Stock Image
The Programming and Proof System ATES - Advanced Techniques Integration into Efficient Scientific Software
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-83596
Stock Image
The Programming and Proof Systems Ates
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 341. Seller Inventory # 263163071
Stock Image
The Programming and Proof Systems Ates
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 341. Seller Inventory # 4717664
Buy Used
US$ 51.44
US$ 8.73 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Programming and Proof Systems Ates
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 341. Seller Inventory # 183163061
Buy Used
US$ 55.41
US$ 11.56 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA77303875418886
Buy Used
US$ 99.61
US$ 33.58 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available