The Programming and proof systems ATES : advanced techniques integration into efficient scientific software /

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 t...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Puccetti, A. (Armand), 1961-, Brocard, D.
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Research reports ESPRIT. ATES ; vol. 1.
Subjects:	Computer programming. Automatic theorem proving. Computer software > Development. Ordinateurs > Programmation. Logiciels > Développement. Théorèmes > Démonstration automatique. Langages de programmation. Electronic books.
Online Access:	Connect to the full text of this electronic book