Mathematical theory of program correctness. With the assistance of Arie de Bruin and Jeffery Zucker.

De Bakker, Jaco:

Published by Englewood Cliffs, Prentice-Hall, ,, 1980

About this Item

Gross - 8° / large - 8°, XVI/505 S./pp., Originalpappband (publisher's cardboard covers), Bibliotheksexemplar in gutem Zustand / exlibrary in good condition (Einband gering gebrauchsspurig / binding shows minor tear and wear, Stempel auf Titel / title stamped, Rückenschildchen / lettering pannel to the spine, Block sehr gut / contents fine, keine Unterstreichungen oder Anstreichungen / no underlining or remarks, in Folie eingeschlagen / wrapped up in foil), Sprache: englisch.

Seller Inventory # 13560CB

Bibliographic Details

• Title: Mathematical theory of program correctness. With the assistance of Arie de Bruin and Jeffery Zucker.
• Publisher: Englewood Cliffs, Prentice-Hall, ,
• Publication Date: 1980
• Binding: Hardcover
• Weight: 1800 grams
• Seller catalogs:
  • Varia