| books
on formal methods
|
-
The Foundations of Program Verification
J. Loeckx, K. Sieber
Wiley
-
Mathematical Structures for Computer Science
J. L. Gersting
W. H. Freeman & Co.
-
An Introduction to Formal Specification
and Z
B. Potter, J. Sinclair, D. Till
Prentice Hall
-
Verification of sequential and concurrent programs
K. R. Apt
Springer Verlag
-
Program Construction and Verification
R. C. Backhouse
Prentice Hall
-
The Design of Well-Structured and Correct Programs
S. Alagic, M. A. Arbib
Springer Verlag
-
Formal Methods of Program Verification and Specification
H. K. Berg, W. E. Boebert, W. R. Franta, T. G. Moher
Prentice Hall
-
A programming approach to formal methods
Chris Casey
McGraw-Hill
-
An introduction to formal specification with Z and VDM
Deri Sheppard
McGraw-Hill
-
An introduction to discrete mathematics, formal system
specification, and Z
D.C. Ince
Oxford University Press
-
Software Development with Z
J.B. Wordsworth
Addison-Wesley
-
and many other books at
http://www.library.nuigalway.ie
|