The Programming and Proof System ATES. Advanced Techniques Intergration into Efficient Scientific Software

Puccetti, Armand, ed. / Springer-Verlag 1991
341 pp., softcover, ex library, else text clean and binding tight. Volumes Included: 1

ISBN: 0387541888
Subject/Keywords:

Item #: 276611

$24.62

Add To Cart