The correctness-by-construction approach to programming
edited by Derrick G. Kourie and Bruce W. Watson
Springer-Verlag, 2012
 eBooks
Research directions in high-level parallel programming languages : mont Saint-Michel, France, June 17-19, 1991 : proceedings
edited by J.B. Banatre and D. Le Metayer
Springer-Verlag, 1992
 Buku Teks
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
Springer-Verlag, 2012
 eBooks
Dimitra Giannakopoulou, editor
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Sannella, Donald, author
Foundations of algebraic specification and formal software development
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>