Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Mathematical theory of program correctness / Jaco de Bakker; colab. Arie de Bruin, Jeffery Zucker

Main Author Bakker, Jacobus Willem de, 1939- Secondary Author Bruin, Arie de
Zucker, Jeffery Country Estados Unidos. Publication Englewood Cliffs, N.J. : Prentice Hall, cop. 1980 Description XVI, 505 p. ; 24 cm Series Prentice-Hall international series in computer science ISBN 0-13-562132-1 CDU 519.68
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 47977 Available 116880
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.