Showing 1 - 1 of 1 Results   

  • Search within these results:
Search by: Author: Title: Keyword:
  Publisher:      
ISBN: 9781850321095 - Formal Specification Using Z

Formal Specification Using Z

L Bottaci, J Jones (both of University of Hull)
ISBN10: 1850321094  ISBN13: 9781850321095  
Publisher: Cengage Learning International Thomson Computer Press
Format: Paperback
Publication date: 14 Oct 1994

Preface 1 Models and Model Building 12 A First Example of Modelling and Speficification in Z 233 Logic 474 Sets 755 Relations 1096 A Closer Look at Z 1397 Functions 1878 Extended Example: Hiring Sports Equipment 2139 Sequences 23310 Bags 25311... More

£21.99
Out of print
£21.99

Availability:

Out of print

Used from £3.68

Add to Wishlist:

Showing 1 - 1 of 1 Results   

My Categories


Customer Care


Our Shops