The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,)
by:
Armand Puccetti
·
D. Brocard
Paperback
details (
USA
).
ISBN: 978-0-387-54188-4
ISBN-10: 0-387-54188-8
Springer Verlag
· 1991
