All results:
Sort by: Bestselling Title of Book: A-Z Title of Book: Z-A Date of Publication
Showing books
1
through 10 of 15 :
Items per page:
10 | 20 | 50 | 100 |
1.
The Way of Z: Practical Programming With Formal Methods
by Jonathan Jacky
Paperback ,
Cambridge Univ Pr
(June 1997 )
Other Formats:
|
Hardcover |
List Price: $42.99
2.
Z in Practice
by Rosalind Barden, David Cooper, Susan Stepney
Paperback ,
Prentice Hall
(February 1995 )
List Price: $48.00
3.
Introduction to Formal Specification and Z
by Ben Potter, Jane Sinclair, David Till
Paperback ,
Prentice Hall
(October 1991 )
List Price: $44.95
4.
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
by John Wordsworth
Paperback ,
Addison-Wesley
(July 1992 )
List Price: $32.95
5.
Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 Proceedings
by Finland) International Conference of B and Z Users 2003 Turku, Jonathan P. Bowen, Marina Walden, Finland) International Conference of B and Z Users (3rd : 2003 : Turku, Steve King
Paperback ,
Springer-Verlag New York Inc
(August 2003 )
List Price: $87.00
6.
An Introduction to Formal Specification With Z and Vdm
by Deri Sheppard
Hardcover ,
Biblio Distribution
(December 1994 )
List Price: $44.01
7.
Zb 2002: Formal Specification and Development in Z and B
by France) International Conference of B and Z Users 2002 Grenoble, K. Robinson (Editor), J. P. Bowen (Editor), Didier Bert, D. Bert (Editor), Didier Bert (Editor), M. C. Henson (Editor)
Paperback ,
Springer Verlag
(March 2002 )
List Price: $87.95
8.
Introducing Specification Using Z: A Practical Case Study Approach
by B. Ratcliff
Hardcover ,
Biblio Distribution
(March 1994 )
List Price: $25.00
9.
The Z Notation: A Reference Manual
by J. M. Spivey
Book ,
Prentice Hall
(January 1989 )
Other Formats:
|
Paperback |
10.
ZB 2005 Formal Specification And Development in Z And B: 4th International Conference of B And Z Users, Guildford, UK, April 13-15, 2005, Proceedings
by Helen Treharne (Editor), Steve Schneider (Editor), Martin Henson (Editor), Steve King (Editor)
Paperback ,
Springer Verlag
(September 2005 )
List Price: $89.00
Showing books
1
through 10 of 15 :
Items per page:
10 | 20 | 50 | 100 |