Franova Herdiyanto, author
Spesifikasi dan verifikasi aplikasi perbankan dengan menggunakan linguSQL (studi banding dengan metode B)
Fakultas Ilmu Komputer Universitas Indonesia, 2009
 UI - Skripsi (Open)
Languages alive : essays dedicated to Jurgen Dassow on the occasion of his 65th birthday
edited by Henning Bordihn, Martin Kutrib and Bianca Truthe
Springer-Verlag, 2012
 eBooks
Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)
Springer-Verlag, 2011
 eBooks
Rohit Gheyi, editor
Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
The correctness-by-construction approach to programming
edited by Derrick G. Kourie and Bruce W. Watson
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>