Software development with Z a practical approach to formal methods in software engineering /

By: Material type: TextText 1992Description: Soft Binding xii 334ISBN:
  • 201627574
DDC classification:
  • 005.12 WOR-S
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 Item holds
Books Books COMSATS University Lahore Campus 005.12 WOR-S (Browse shelf(Opens below)) 1 Available LHR 34320
Total holds: 0

English

There are no comments on this title.

to post a comment.