Normal view MARC view ISBD view

Mathematics of program construction : international conference proceedings, Groningen, The Netherlands, June 26-30, 1989

Mathematics of program construction : international conference proceedings, Groningen, The Netherlands, June 26-30, 1989 - - Berlin Springer-Verlag 1989 - vi,421 p. 26 cm - .

ISBN: 3-540-51305-1

Subjects--Topical Terms:

Computer Science and Engineering
Computer programs-Verification-Congresses , Computer programs-Mathematics-Congresses

Universal Decimal Class. No.: 681.3.06:51Mat:89

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)