Logic in computer science : modeling and reasong about systems

Michael & Mark Ryan HUTH

Informasi Dasar

40 kali
0011036
511.2
Buku - Circulation (Dapat Dipinjam)
Tel-U Gedung Manterawu Lantai 5 : Rak 10a
Tel-U Purwokerto : Rak 5

Subjek

Lan-open system
 

Katalog

Logic in computer science : modeling and reasong about systems
978-0-521-54310-1
xiv,427 hal ; 25 cm
 

Sirkulasi

Rp. 0
Rp. 1.000
Ya

Pengarang

Michael & Mark Ryan HUTH
Perorangan
 
 

Penerbit

cambridge univ press
Cambridge
2011

Koleksi

2 Koleksi
2 Koleksi

Kompetensi

  • CSH4103 - METODE FORMAL

Download / Flippingbook

 

Ulasan

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