Syndetics cover image
Image from Syndetics

An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.

By: Contributor(s): Material type: TextTextSeries: Prentice Hall International series in computer sciencePublication details: Hemel Hempstead : Prentice Hall, 1996.Edition: 2nd edISBN:
  • 0132422077
Subject(s): DDC classification:
  • 005.12 20
LOC classification:
  • QA76.6
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791882
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791971
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791944
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791962
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791917
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791908
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791935
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791953
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 6000791926
Not For Loan Not For Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Not for loan 6000791891
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 POT (Browse shelf(Opens below)) Available 4403910183
Total holds: 0

Enhanced descriptions from Syndetics:

Includes bibliography and index.