Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

NetKAT A Formal System for the Verification of Networks



  ID Publisher : 0000015727
  Nama Jurnal : Programming Languages and Systems
  Pengarang : Dexter Kozen
  Subjek : Kleene algebra, Kleene algebra with tests, NetKAT, software defined networking, packet switching, OpenFlow, Frenetic
  Edisi : 0 / 0 / 2014


Download File...

  Isi_Artikel_306459696127.pdf
  [ 6517046  bytes ]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA