Verification of system and circuits using lotos, petri nets, and ccs

Michael & Rakefet K YOELI

Informasi Dasar

Dilihat

60 kali

No. Katalog

0011007

Klasifikasi

537.053 8

Jenis katalog

Buku - Circulation (Dapat Dipinjam)

No. Rak

Tel-U Gedung Manterawu Lantai 5 : Rak 11b
Tel-U Purwokerto : Rak 5

Abstraksi

Subjek

Subjek utama

Indonesia-youth movement

Subjek tambahan

 

Katalog

Judul

Verification of system and circuits using lotos, petri nets, and ccs

ISBN

0-471 -70449-2

Kolasi

xv, 231 hal ; 23 cm

Bahasa

 

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 1.000

Sirkulasi

Ya

Pengarang

Nama

Michael & Rakefet K YOELI

Jenis

Perorangan

Penyunting/
Pembimbing

 

Alih bahasa

 

Penerbit

Nama

john wiley &sons

Kota

New jersey

Tahun

2008

Koleksi

Total

2 Koleksi

Tersedia

2 Koleksi

Kompetensi

• IF5113 - METODE FORMAL
• TTI2G1 - PRAKTIKUM TEKNIK TELEKOMUNIKASI 1
• AAK2AAB1 - Praktikum Teknik Telekomunikasi 1

Download / Flippingbook

Link file

Rekomendasi

 

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

• Kembali