Editors:
Part of the book series: Research Reports Esprit (ESPRIT, volume 1)
Part of the book sub series: Project 1158. ATES (2402)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
Keywords
- Abstract Data Types
- Abstrakte Datentypen
- Automatisches Beweisen
- Datentyp
- Formal Specifications
- Formale Spezifikation
- Program Verification
- Programmverifikation
- Software Engineering
- Software-Engineering
- Softwareentwicklung
- Theorem Proving
- algorithms
- design
- development
- finite element method
- formal specification
- language
- model
- modeling
- programming
- programming language
- semantics
- software
- software engineering
- theorem proving
- verification
Editors and Affiliations
-
CISI Ingénierie, Rungis Cedex, France
Armand Puccetti
Bibliographic Information
Book Title: The Programming and Proof System ATES
Book Subtitle: Advanced Techniques Integration into Efficient Scientific Software
Editors: Armand Puccetti
Series Title: Research Reports Esprit
DOI: https://doi.org/10.1007/978-3-642-84542-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: ECSC – EEC – EAEC, Brussels – Luxembourg 1991
Softcover ISBN: 978-3-540-54188-2Published: 24 July 1991
eBook ISBN: 978-3-642-84542-0Published: 11 November 2013
Edition Number: 1
Number of Pages: VIII, 341
Number of Illustrations: 15 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Numerical Analysis, Mathematical and Computational Engineering, Automotive Engineering, Renewable and Green Energy