The Programming and proof systems ATES
Subtitle: advanced techniques integration into efficient scientific software
By: Armand Puccetti (ed.) ; with contributions by D. Brocard ... [et al.].
Contributors: Puccetti, A. 1961-; Brocard, D.
Series: Research reports ESPRIT.; vol. 1
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 341
Subjects: Computer programming.; Automatic theorem proving.; Computer software -- Development.
Notes: Includes bibliographical references.