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"
  • Koleksi Nasional
Search alternatives:
"Computer programs Verification Congresses" » "Computer program Verification Congresses"
Menampilkan 1 - 2 of 2 untuk pencarian: '"Computer programs Verification Congresses"', lama mencari: 0.34s
Daftar  Grid  Visual 
Cover Image
Hardware and software : verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers
Book Bachelors
oleh Kerstin Eder, editor
Terbitan: Springer-Verlag, 2012
Subjects: '; “...Computer programs -- Verification -- Congresses...”
Lokasi Repository IOS Number
KOTA DEPOKRepository Skripsi (open) Universitas IndonesiaIOS18064.20407813
KOTA DEPOKRepository Skripsi (Membership) Universitas IndonesiaIOS18065.20407813
KOTA DEPOKcontoh Repository Tesis (Open) Universitas IndonesiaIOS18066.20407813
KOTA DEPOKRepository Disertasi (Membership) Universitas IndonesiaIOS18068.20407813
KOTA DEPOKRepository Disertasi (Open) Universitas IndonesiaIOS18069.20407813
KOTA DEPOKRepository Tugas Akhir Universitas IndonesiaIOS18070.20407813
Available online:
Get online
Favorit
Tersimpan di:
Cover Image
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
Book Bachelors
oleh Marielle Stoelinga, editor
Terbitan: [, Springer-Verlag ], 2012
Subjects: '; “...Computer programs -- Verification -- Congresses...”
Lokasi Repository IOS Number
KOTA DEPOKRepository Skripsi (open) Universitas IndonesiaIOS18064.20410082
KOTA DEPOKRepository Skripsi (Membership) Universitas IndonesiaIOS18065.20410082
KOTA DEPOKcontoh Repository Tesis (Open) Universitas IndonesiaIOS18066.20410082
KOTA DEPOKRepository Disertasi (Membership) Universitas IndonesiaIOS18068.20410082
KOTA DEPOKRepository Disertasi (Open) Universitas IndonesiaIOS18069.20410082
KOTA DEPOKRepository Tugas Akhir Universitas IndonesiaIOS18070.20410082
Available online:
Get online
Favorit
Tersimpan di:
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...