Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers
edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
[;Springer-Verlag, Springer-Verlag], 2012
 eBooks
Martin, James, author
Object oriented methods : a foundation
Prentice-Hall, 1995
 Buku Teks
Coad, Peter, author
Object-oriented design
Yourdon Press, 1991
 Buku Teks
Horstmann, Cay, author
Object-oriented design and patterns
John Wiley & Sons Inc., 2006
 Buku Teks
Meyer, Bertrand, 1950-, author
Object-oriented software construction
Prentice-Hall, 1988
 Buku Teks
<<   3 4 5   >>