Skip to content
  • Tentang IOS
  • Join Us
  • Hubungi Kami
  • Organisasi Mitra
  • Akun Anda
  • Keluar
  • Masuk
  • Bahasa Indonesia
    • Bahasa Indonesia
    • English
Lanjutan
  • Cari: (("Computer programs Verification Congresses") OR ("Computer program Verification Congresses"))
  • Koleksi Nasional
Menampilkan 1 - 2 of 2 untuk pencarian: '(("Computer programs Verification Congresses") OR ("Computer program Verification Congresses"))', lama mencari: 0.25s
Daftar  Grid  Visual 

Please enable Javascript.

Please upgrade your browser.

What am I looking at?

Search Tools: Get RSS Feed — Email this Search — Save Search

Persempit Pencarian

Institusi
2 Universitas Indonesia
Koleksi
2 Repository Disertasi (Membership) Universitas Indonesia 2 Repository Disertasi (Open) Universitas Indonesia 2 Repository Skripsi (Membership) Universitas Indonesia 2 Repository Skripsi (open) Universitas Indonesia 2 Repository Tugas Akhir Universitas Indonesia 2 contoh Repository Tesis (Open) Universitas Indonesia
Format
2 Book Book 2 2 Thesis Bachelors 2
Topik
2 Computer programs -- Verification -- Congresses 1 Computer programs -- Reliability -- Congresses 1 Computer programs -- Verification 1 Formal methods (computer science) -- Congresses 1 Software architecture 1 Software architecture -- Congresses more ... 1 Software engineering -- Congresses less ...
Pengarang
1 Kerstin Eder, editor 1 Marielle Stoelinga, editor
Tahun
2 2012
Penerbit
1 Springer-Verlag 1 [, Springer-Verlag ]

Opsi Pencarian

  • Sejarah Pencarian
  • Pencarian Lanjut

Temukan Lebih Banyak

  • Penelusuran Katalog
  • Penelusuran Alfabetis

Butuh Bantuan?

  • Tips Pencarian
  • Admin
  • Hubungi Kami
© 2025 Perpustakaan Nasional Republik Indonesia
Loading...