Formal Specification Using Z (Computer Science)
Home    About    FAQ    View Cart    Contact Us

Search over
75000 Items


Current Category
Books
   Computers & Internet
      Programming

All Categories

Narrow by Category
Algorithms
APIs & Operating Environments
General
Graphics & Multimedia
Introductory & Beginning
Java
Languages & Tools
Software Design


Formal Specification Using Z (Computer Science)

Formal Specification Using Z (Computer Science)
(Larger Image)

Formal Specification Using Z (Computer Science)

by David Lightfoot
Product Group: Book
Publisher: Palgrave Macmillan (2000-12-06)
ISBN: 0333763270
EAN: 9780333763278
Dewy Decimal #: 005
Paperback: 2001 pages
Edition: 2Rev Ed
SKU: B930-1185
Condition: New
Comments: New & Shrinkwrapped. In stock - Immediate despatch from an efficient and professional leading British bookselling firm.


Customer Reviews


Good revision for Systems Modelling Exams
Rating (4)
Date: 2001-05-20

6 out of 7 customers found this reveiw helpful


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.


This is a good book
Rating (4)
Date: 2001-01-20

5 out of 7 customers found this reveiw helpful


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.

Retail Price: £27.99
Our Price:£10.64
That's 62% Off!

 
1.06