Software service and application engineering : essays dedicated to Bernd Kramer on the occasion of his 65th birthday
edited by Maritta Heisel
Springer-Verlag, 2012
 eBooks
Cryptography and security : from theory to applications : essays dedicated to Jean-Jacques Quisquater on the occasion of his 65th birthday
edited by David Naccache
Springer-Verlag, 2012
 eBooks
Languages, design methods, and tools for electronic system design: selected contributions from FDL 2017
Daniel Grobe, Sara Vinco, Hiren Patel, editors
Springer Nature, 2019
 eBooks
Kazmierski, Tom J., editor
System specification and design languages: selected contributions from FDL 2010
[Springer, ], 2012
 eBooks
Franova Herdiyanto
Spesifikasi dan verifikasi aplikasi perbankan dengan menggunakan linguSQL (studi banding dengan metode B)
Fakultas Ilmu Komputer Universitas Indonesia, 2009
 UI - Skripsi Open