Buy New

Quantity:


	Amazon Prime free trial required. Sign up when you check out. Learn more

Buy Used

Used - Good See details

Price: �5.79

Fulfilled by Amazon

More Buying Choices

Have one to sell? Sell yours here

Get a �0.25 Amazon.co.uk Gift Card

Formal Specification using Z (Grassroots)

See larger image

Share your own customer images

Publisher: learn how customers can search inside this book.

Tell the Publisher!
I�d like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Formal Specification using Z (Grassroots) [Paperback]

David Lightfoot (Author)

4.0 out of 5 stars See all reviews (2 customer reviews)

RRP:	�36.99
Price:	�35.14 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
Deal Price:
You Save:	�1.85 (5%)
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In stock.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

Only 1 left in stock--order soon (more on the way).

Want guaranteed delivery by Thursday, May 31? Choose Express delivery at checkout. See Details

Trade In this Item for up to �0.25

Get an extra �5 when you trade in books worth �10 or more until June 30, 2012. Trade in Formal Specification using Z (Grassroots) for an Amazon.co.uk gift card of up to �0.25, which you can then spend on millions of items across the site. Trade-in values may vary (terms apply). Find more products eligible for trade-in.

› See more product promotions

Frequently Bought Together

Introduction to Formal Specification and Z (Prentice Hall International Series in Computer Science)

Price For All Three: �109.27

Some of these items are dispatched sooner than the others. Show details

Buy the selected items together

This item: Formal Specification using Z (Grassroots) by David Lightfoot Paperback �35.14

In stock.
Dispatched from and sold by Amazon.co.uk.
This item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
Essence of Z (Essence of Computing) by Ed Currie Paperback �35.14

In stock.
Dispatched from and sold by Amazon.co.uk.
This item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
Introduction to Formal Specification and Z (Prentice Hall International Series in Computer Science) by Ben Potter Paperback �38.99

Usually dispatched within 9 to 12 days.
Dispatched from and sold by Amazon.co.uk.
This item Delivered FREE in the UK with Super Saver Delivery. See details and conditions

Customers Who Bought This Item Also Bought

Z.: An Introduction to Formal Methods by Antoni Diller

�46.54
Essence of Z (Essence of Computing) by Ed Currie
5.0 out of 5 stars (1)

�35.14
The Way of Z: Practical Programming with Formal... by Jonathan Jacky
4.5 out of 5 stars (2)

�28.49
Introduction to Formal Specification and Z (Prentic... by Ben Potter

�38.99
Introduction to Requirements Engineering by Dr Ian K Bray
3.7 out of 5 stars (3)

�51.29
Test Driven Development (The Addison-Wesley Signatur... by Kent Beck
3.5 out of 5 stars (11)

�19.54

Product details

Paperback: 176 pages
Publisher: Palgrave Macmillan; 2nd Edition edition (6 Dec 2000)
Language English
ISBN-10: 0333763270
ISBN-13: 978-0333763278
Product Dimensions: 24.4 x 18.4 x 1.2 cm

Average Customer Review: 4.0 out of 5 stars See all reviews (2 customer reviews)

Amazon Bestsellers Rank: 443,116 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Product Description

Review

'[The first edition of] David Lightfoot's Formal Specification Using Z is...an ideal introduction to Z and its use.' - New Scientist

Product Description

Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.

See all Product Description

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

What Other Items Do Customers Buy After Viewing This Item?

Z.: An Introduction to Formal Methods by Antoni Diller Paperback

�46.54

The Way of Z: Practical Programming with Formal Methods by Jonathan Jacky Paperback
4.5 out of 5 stars (2)

�28.49

Introduction to Formal Specification and Z (Prentice Hall International Series in Computer Science) by Ben Potter Paperback

�38.99

Essence of Z (Essence of Computing) by Ed Currie Paperback
5.0 out of 5 stars (1)

�35.14

› Explore similar items

Customer Reviews

5 star

4 star

3 star

2 star

1 star

2 reviews

4.0 out of 5 stars

Write a customer review

Most Helpful Customer Reviews

6 of 7 people found the following review helpful

Good revision for Systems Modelling Exams 20 May 2001

By A Customer

This little gem is great for those who are doing Computer Science conversion courses or starting out with Z. The language used by the author as he explains is simple but precise - great if you don't want confusion. There are lots of different scenarios for using Z specification, leaving you well prepared for unexpected modelling examples for exam time. I'd recommend it for first years or conversion students.

Comment |

Was this review helpful to you?

Yes

5 of 7 people found the following review helpful

This is a good book 20 Jan 2001

By A Customer

I am a student who is doing Formal Specification in one of the university in UK. So, my lecturer was recomending this book to us. After reading it, it is really straight forward and easy to understand. All the examples in the book are reflecting to our daily life. The price for the book is affordable and reasonable.

Comment |

Was this review helpful to you?

Yes

› See both customer reviews

Write a customer review

Most Helpful Customer Reviews on Amazon.com ^(beta)

Amazon.com: 1 review

2 of 2 people found the following review helpful

Boring title, great book! 31 May 2004

By Paul - Published on Amazon.com

Although the title may put some off, the field of formal specification is actually an interesting and exciting area. This book provides a valuable insight into the use of Z as a formal method language, and allows even a total newcomer (such as I was) to understand the techniques required..

A well written, informative and enjoyable book that uses clear and concise examples to build up the readers skillset...

Well worth the money!!

› Go to Amazon.com to see the review

Was this review helpful? Let us know

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }