Mathematical theory of program correctness /

Saved in:

Bibliographic Details
Main Author:	Bakker, Jaco de
Other Authors:	Bruin, Arie de, Zucker, Jeffery
Format:	Book
Language:	English
Published:	Englewood Cliffs : Prentice-Hall, 1980
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Holdings details from CVTI sklad absenčný
Call Number:	A415434
Copy	On Shelf