Amazon cover image
Image from Amazon.com

Understanding Z : a specification language and its formal semantics / J.M. Spivey.

By: Material type: TextTextLanguage: English Series: Cambridge tracts in theoretical computer sciencePublication details: N.Y. : Cambridge University Press, 2008Description: 131 pISBN:
  • 9780521054140
Subject(s): DDC classification:
  • 005.13/3 SPI 2008  19
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
Sách, chuyên khảo, tuyển tập Phòng DVTT Tổng hợp Kho tham khảo 005.13/3 SPI 2008 (Browse shelf(Opens below)) 1 Available A-D0/05633
Browsing Phòng DVTT Tổng hợp shelves, Shelving location: Kho tham khảo Close shelf browser (Hides shelf browser)

There are no comments on this title.

to post a comment.