4 Universitas Indonesia

4 Repository Disertasi (Membership) Universitas Indonesia 4 Repository Disertasi (Open) Universitas Indonesia 4 Repository Skripsi (Membership) Universitas Indonesia 4 Repository Skripsi (open) Universitas Indonesia 4 Repository Tugas Akhir Universitas Indonesia 4 contoh Repository Tesis (Open) Universitas Indonesia

4 Book Book 4 4 Thesis Bachelors 4

Object-oriented programming (computer science) -- Congresses 1 Computer software -- Verification -- Congresses 1 Engineering mathematics -- Data processing -- Congresses 1 Formal methods (computer science) -- Congresses 1 Model-driven software architecture -- Congresses 1 Object-oriented methods (computer science) -- Congresses

1 Bernhard Beckert, editor 1 Carlo A. Furia, editor 1 James Noble, editor

3 2012 1 1989

2 [, Springer-Verlag] 1 Society for Industrial and Applied Mathematics 1 [Springer-Verlag, ]