This image is currently not available.

The Logical Basis for Computer Programming: Deductive Systems v.2

Addison Wesley (Publisher)
Published on 15. March 1990
Book
Hardback
650 pages
978-0-201-18261-3 (ISBN)
€53.22incl. 7% vat
Article is exhausted; no reprint

More details