Model checking

Edmund M & Oma G CLARKE

Informasi Dasar

19 kali
0010971
004.24
Buku - Circulation (Dapat Dipinjam)
1

Subjek

Trafic - telecommunication
 

Katalog

Model checking
978-0-262-03270-4
xiv, 314 hal ; 23 cm
 

Sirkulasi

Rp. 0
Rp. 1.000
Ya

Pengarang

Edmund M & Oma G CLARKE
Perorangan
 
 

Penerbit

mit press
London
1999

Koleksi

Kompetensi

  • IF5113 - METODE FORMAL

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini