Amazon cover image
Image from Amazon.com

Formal specification using Z a modelling approach Leonardo Bottaci, John Jones

By: Contributor(s): Material type: TextTextPublisher: London International Thomson 1995Copyright date: ©1995 Description: 320pages illustrations 24 cmContent type:
  • Text
Media type:
  • Unmediated
Carrier type:
  • Volume
ISBN:
  • 1850321094
Subject(s): LOC classification:
  • QA76.7 .B751 1995
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 Collection Call number Status Date due Barcode
Open Shelf PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN Book QA76.7 .B751 1995 (Browse shelf(Opens below)) Available 0000022236
Open Shelf PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN Book QA76.7 .B751 1995 (Browse shelf(Opens below)) Available 0000019181

Bibliography: pages 293-294

There are no comments on this title.

to post a comment.