BOOKS EBOOKS RARE BOOKS CLASSICAL CDs DVDs PRINTED MUSIC PODCASTS OFFERS
 

Search for: L Bottaci J Jones both of University of Hull

Refine your search:

 

£21.99
Out of print

Used from £2.95
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 EMEA International Thomson Computer Press
Format: Paperback
Publication date: 14 Oct 1994
Formal Specification Using Z: A Modelling Approach is designed to provide a practical introduction to formal specification, explaining use of mathematically based techniques for specifying software systems in the formal specification language, Z. More