UCSC Library OPAC
Image from Google Jackets

Predicate calculus and Program semantics :Lecture notes in computer science

By: Language: English Publication details: Springer: Tokyo; 1989Description: 220 pISBN:
  • 0000387969578
Subject(s): DDC classification:
  • 004.0151
  • D34
Item type: Lending Book
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 Home library Collection Call number Status Date due Barcode Item holds
Lending Book Lending Book UCSC Library Lending Section UCSC Library Lending Section Lending Collection 004.0151 D34 (Browse shelf(Opens below)) Available A13955
Total holds: 0

There are no comments on this title.

to post a comment.
© 2026 All rights reserved. UCSC