Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

FORMAL SPECIFICATION OF REAL-TIME SYSTEMS USING TLA+



  ID Publisher : 0000027378
  Nama Jurnal : Proceeding International Conference on Information and Communication Technology (ICCT-UMB) 2005
  Pengarang : Cecilia E.Nugraheni
  Subjek : Real-Time System Using TLA+, Formal Specification
  Edisi : 0 / 0 / 2005


Download File...

[ Maaf...File tidak ada dalam database..]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA