The Programming and Proof System ATES
Subtitle: Advanced Techniques Integration into Efficient Scientific Software
Publisher: Springer
Published: Dec 28, 2011
Format: paperback
Number of pages: 352
ISBN-13: 9783642845437
Notes: Source title: The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software