Name: the programming and proof system ates: advanced techniques integration into efficient scientific software
Price: 100.07 EUR
Availability: InStock
Author: Puccetti, Armand ; Brocard, D. ; Gagert, P.
ISBN: 9783540541882

portada 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

Type

Physical Book

Illustrated by

Contributions by

Publisher

Author

Puccetti, Armand ; Brocard, D. ; Gagert, P.

Year

1991

Language

English

Pages

341

Format

Paperback

Dimensions

24.4 x 17.0 x 1.9 cm

Weight

0.56 kg.

ISBN

3540541888

ISBN13

9783540541882

Synopsis "the programming and proof system ates: advanced techniques integration into efficient scientific software"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

the programming and proof system ates: advanced techniques integration into efficient scientific software - Puccetti, Armand ; Brocard, D. ; Gagert, P.

Synopsis "the programming and proof system ates: advanced techniques integration into efficient scientific software"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery