Logic in computer science: Modelling and reasoning about systems. Second edition

Detail Cantuman Kembali

XML

Pernyataan Tanggungjawab :

Pengarang :

Huth, Michael - Pengarang Utama
Ryan, Mark - Pengarang Utama

Edisi :

2nd edition

No. Panggil :

511.3 H975

ISBN/ISSN :

978-0-521-54310-1

Subyek :

Mathematical logic
Computer science -- Mathematical logic

Klasifikasi :

511.3

Judul Seri :

GMD :

Text

Bahasa :

Asing

Penerbit :

Cambridge University Press

Tahun Terbit :

2004

Tempat Terbit :

Cambridge

Deskripsi Fisik :

xiii, 427 p.: bibl., index; 25 cm

Info Detil Spesifik :

Lampiran Berkas :

LOADING LIST...

Ketersediaan :

LOADING LIST...