The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Esprit (1), Band 1)

Programming

von Armand Puccetti

Broschiert

ISBN-13: 978-3-540-54188-2

ISBN-10: 3-540-54188-8

Springer Berlin Heidelberg · 1991