Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Amazon cover image
Image from Amazon.com

Understanding Z : a specification language and its formal semantics

By: Material type: TextTextLanguage: English Series: Cambridge tracts in theoretical computer science | 3Publication details: Cambridge Cambridge University Press 1988Description: viii,131pISBN:
  • 0521334292
Subject(s): DDC classification:
  • 001.6424 Sp49u
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur COMPACT STORAGE (BASEMENT) 001.6424 Sp49u (Browse shelf(Opens below)) Link to resource Available A102447
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha