Mathematical theory of program correctness.

QR-Code

Mathematical theory of program correctness.

Bibliographische Detailangaben
1. Verfasser:	de Bakker, Jaco
Format:	Buch
Sprache:	English
Veröffentlicht:	Englewood Cliff, New Jersey Prentice Hall International

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman