Image from Google Jackets

INTRODUCTION TO FORMAL SPECIFICATION AND Z

By: Material type: TextPublication details: PEARSON; 1996Edition: 2Description: 434; PaperISBN:
  • 0-13-242207-7
DDC classification:
  • 005.1 POT
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 Status Notes Barcode
Books Central Library - SSNCE 005.1 POT (Browse shelf(Opens below)) Available CSE-SASE 28061
Total holds: 0

There are no comments on this title.

to post a comment.
Visitor CountersVisitor Counters

Last Update: 01.07.2026