AIOU Library

Your cart is empty.
Dijkstra, Edsger W

Predicate calculus and program semantics Edsger W. Dijkstra and Carel S. Scholten - New York: Springer-Verlag, 1990. - x, 220p.

Includes index


Eng

0-387-96957-8


Programming languages (Electronic computers)-Semantics

511.3 / DIP

Copyright © 2023, All rights reserved
AIOU, Islamabad Pakistan.
Ph#: | 051-9250040, 051-9571682, 051-9571695 Fax: | 051-9250146 Email| documentdelivery@aiou.edu.pk Web| ”Central Library”