Overview
Part of the book series: Research Reports Esprit (ESPRIT, volume 1)
Part of the book sub series: Project 1158. ATES (2402)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
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
About this book
Editors and Affiliations
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