Amazon cover image
Image from Amazon.com

Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies.

By: Contributor(s): Material type: TextTextSeries: Prentice-Hall international series in computer sciencePublication details: London ; New York : Prentice Hall, 1996.Description: ix, 386 p. : ill ; 24 cmISBN:
  • 0139484728 (pbk. : alk. paper)
Subject(s): DDC classification:
  • 005.1/2
Online resources:
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
REGULAR University of Wollongong in Dubai Main Collection 005.1 WO US (Browse shelf(Opens below)) Available T0023793

Includes index.

CSCI325

There are no comments on this title.

to post a comment.