Logic in computer science : modeling and reasong about systems

Michael & Mark Ryan HUTH

Informasi Dasar

No. Katalog

0011036

Klasifikasi

511.2

Jenis katalog

Buku - Circulation (Dapat Dipinjam)

No. Rak

10a

Abstraksi

Subjek

Subjek utama

Lan-open system

Subjek tambahan

 

Katalog

Judul

Logic in computer science : modeling and reasong about systems

ISBN

978-0-521-54310-1

Kolasi

xiv,427 hal ; 25 cm

Bahasa

 

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 1.000

Sirkulasi

Ya

Pengarang

Nama

Michael & Mark Ryan HUTH

Jenis

Perorangan

Penyunting/
Pembimbing

 

Alih bahasa

 

Penerbit

Nama

cambridge univ press

Kota

Cambridge

Tahun

2011

Koleksi

Total

2 Koleksi

Tersedia

2 Koleksi

Kompetensi

• CSH4103 - METODE FORMAL

Download / Flippingbook

Link file

Rekomendasi

 

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

• Kembali