This image is currently not available.

Program Verification in Synthetic Domain Theory

Bernhard Reus(Author)
Shaker (Publisher)
Published in 1996
Other
Undefined
293 pages
978-3-8265-1352-7 (ISBN)
€49.00incl. 7% vat
Article not available

More details