Matheson Library
Empowering Knowledge, Inspiring Discovery
Amazon cover image
Image from Amazon.com

A programming approach to formal methods / Chris Casey.

By: Material type: TextTextSeries: McGraw-Hill international series in software engineeringPublication details: London : McGraw-Hill, c1994.Description: xii, 262 p. ; 25 cmISBN:
  • 007707968X
Subject(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 Collection Call number Status Notes Date due Barcode
2 Hour Special Reserve 2 Hour Special Reserve Matheson Library Special Reserve - 2 Hours Use items Special Reserve SR 005.3 C338 (Browse shelf(Opens below)) Available Recat. 137784

Includes index.

Bibliography: p. 257.

Recommended text : *MA469 (Maths & Computer Science)

There are no comments on this title.

to post a comment.