Publisher's Synopsis
Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.
Introduction to Formal Specification and Z - Prentice Hall International Series in Computer Science
2nd Edition
Paperback (21 Jun 1996)
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
| ISBN: | 9780132422079 |
| Publisher: | Pearson Education |
| Imprint: | Prentice Hall |
| Pub date: | 21 Jun 1996 |
| Edition: | 2nd Edition |
| DEWEY: | 005.1 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 304 |
| Weight: | 758g |
| Height: | 234mm |
| Width: | 174mm |
| Spine width: | 27mm |
We recommend
$3.69off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $3.69
RRP $61.27- $57.58
$7.82off
Embedded Software System Testing
Hardback
Published 06 Sep 2023
Save $7.82
RRP $105.27- $97.45
$4.15off
Raspberry Pi OS System Administ...
Paperback
Published 22 Nov 2023
Save $4.15
RRP $60.73- $56.58