The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,) - Softcover
Synopsis
The Programming and Proof System ATES This ESPRIT project 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. Full description
"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. 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 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