Normal view MARC view ISBD view

Predicate calculus and program semantics

Publisher: New York: Springer-Verlag, 1990Description: x, 220p.ISBN: 0-387-96957-8.Subject(s): Programming languages (Electronic computers)-Semantics

Tags from this library: No tags from this library for this title.

average rating: 0.0 (0 votes)

Item type	Location	Call number	Status	Date due	Barcode	Item holds
Books	Central Library AIOU Islamabad Allama Iqbal Open University Central Library General Stacks	511.3 DIP (Browse shelf)	Available		84026

Total holds: 0

Includes index

Eng

There are no comments for this item.

AIOU Library