This work offers an introduction to the Z language which is being increasingly used for the formal specification of software. The book explains how to write formal specifications through worked examples and exercises. In the appendices, the Z notation, operators and functions are defined. The book is aimed at second and third year undergraduates on BSc computer science courses, those on MSc courses in computer science, programmers in industry, particularly defence and electronics.
Read More
This work offers an introduction to the Z language which is being increasingly used for the formal specification of software. The book explains how to write formal specifications through worked examples and exercises. In the appendices, the Z notation, operators and functions are defined. The book is aimed at second and third year undergraduates on BSc computer science courses, those on MSc courses in computer science, programmers in industry, particularly defence and electronics.
Read Less
Add this copy of Z Guide for Beginners (Computer Science Texts) to cart. $7.30, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1993 by Alfred Waller Ltd.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
