Wonder Club world wonders pyramid logo
×

The Programming and proof systems ATES Book

The Programming and proof systems ATES
The Programming and proof systems ATES, 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 , The Programming and proof systems ATES has a rating of 5 stars
   2 Ratings
X
The Programming and proof systems ATES, 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 , The Programming and proof systems ATES
5 out of 5 stars based on 2 reviews
5
100 %
4
0 %
3
0 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • The Programming and proof systems ATES
  • Written by author D. Brocard... [et al.]; A. Puccetti ed
  • Published by Berlin ; Springer-Verlag, c1991., 1991/08/01
  • 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
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

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.


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

The Programming and proof systems ATES, 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 , The Programming and proof systems ATES

X
WonderClub Home

This item is in your Collection

The Programming and proof systems ATES, 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 , The Programming and proof systems ATES

The Programming and proof systems ATES

X
WonderClub Home

This Item is in Your Inventory

The Programming and proof systems ATES, 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 , The Programming and proof systems ATES

The Programming and proof systems ATES

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: