Welcome to Central Library, SUST
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.

By: Contributor(s): Material type: TextTextSeries: Texts and monographs in computer sciencePublication details: New York : Springer-Verlag, c1990.Description: x, 220 p. : ill. ; 25 cmISBN:
  • 0387969578 (alk. paper)
Subject(s): DDC classification:
  • 511.3 22 DIP
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Library, Institute of Information and Communication Technology General Stacks 511.3 DIP (Browse shelf(Opens below)) 1 Available I000397
Books Books Library, Institute of Information and Communication Technology General Stacks 511.3 DIP (Browse shelf(Opens below)) 2 Available I000396
Books Books Library, Institute of Information and Communication Technology General Stacks 511.3 DIP (Browse shelf(Opens below)) 3 Available I000395

Includes index.

There are no comments on this title.

to post a comment.