Blackwell UK
|
Z Guide for Beginners
ISBN: 9780632031177
Format: Paperback
Publisher: McGraw-Hill Education - Europe
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. More
RRP £28.99
Availability:
Out of print
Free UK postage
Buy used: 7 new & used available from £11.01
Wishlist:
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.
