Custom cover image
Custom cover image

The Way of Z Practical Programming with Formal Methods

By: Material type: TextTextLanguage: English Publication details: Cambridge : Cambridge University Press, c1997Description: XVIII, 350 p. : illISBN:
  • 0521559766
Subject(s): DDC classification:
  • 005.12 JAC
Online resources:
Holdings
Item type Current library Shelving location Call number Status Date due Barcode
Lending Collection Lending Collection Circulation Section Circulation Section 005.12 JAC Available 67253