Sannella, Donald, author
Foundations of algebraic specification and formal software development
Springer-Verlag, 2012
 eBooks
Beaumont, Ross A., author
The Algebraic foundations of mathematics
Addison-Wesley, 1963
 Buku Teks
Sheppard, Deri, author
An Introduction to formal specification with Z and VDM
McGraw-Hill, 1995
 Buku Teks
Ince, D.C., author
An Introduction to discrete mathematics and formal system specification
Clarendon Press, 1988
 Buku Teks SO
Proceedings of the sixth International Workshop on Software Specification and Design
IEEE Computer Society Press, 1991
 Buku Teks
<<   1 2 3   >>