Skip to main content
Member $avings: $82,002,637.51 | Books Available: 667,300 | Members Online: 194
Swap Used Books - Buy New Books at Great Prices!
PBS logo
 
 

Search - Formal Specification Using Z: A Modelling Approach

Formal Specification Using Z: A Modelling Approach
Formal Specification Using Z A Modelling Approach
Author: Leonardo Bottaci, John Jones
This text is about the use of mathematically based techniques for specifying software systems and is designed for computer science or software engineering students studying an introductory course in formal specification. The text focuses on the Z notation. The level of maths required to profit from this text is not very high--the emphasis is on ...  more »
ISBN-13: 9781850321095
ISBN-10: 1850321094
Pages: 320
Rating:
  ?
0 stars, based on 0 rating
Publisher: International Thomson Computer Press
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2025 PaperBackSwap.com. All Rights Reserved.