Search Result

Found 21820 Document(s) match with the query 20409956
The correctness-by-construction approach to programming
Author : No author
Call Number : e20409956
Collection Type : eBooks
Location : Universitas Indonesia Library
Research directions in high-level parallel programming languages : mont Saint-Michel, France, June 17-19, 1991 : proceedings
Author : No author
Call Number : 005.13 RES
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
Author : No author
Call Number : e20409160
Collection Type : eBooks
Location : Universitas Indonesia Library
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
Author : No author
Call Number : e20410026
Collection Type : eBooks
Location : Universitas Indonesia Library
Foundations of algebraic specification and formal software development
Author : Sannella, Donald, author
Call Number : e20407790
Collection Type : eBooks
Location : Universitas Indonesia Library
Formal aspects of component software : 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers
Author : No author
Call Number : e20408664
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>