Formal methods for protocol engineering and distributed systems : forte xii/ pstv xix '99

FORMAL METHODS

Informasi Dasar

No. Katalog

0009086

Klasifikasi

005.13

Jenis katalog

Buku - Circulation (Dapat Dipinjam)

No. Rak

2

Abstraksi

Subjek

Subjek utama

Fiction teens

Subjek tambahan

 

Katalog

Judul

Formal methods for protocol engineering and distributed systems : forte xii/ pstv xix '99

ISBN

0-7923-8646-9

Kolasi

xii; 497 hal; 23 cm

Bahasa

 

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 1.000

Sirkulasi

Ya

Pengarang

Nama

FORMAL METHODS

Jenis

Perorangan

Penyunting/
Pembimbing

 

Alih bahasa

 

Penerbit

Nama

kluwer academic pub

Kota

Boston

Tahun

1999

Koleksi

Total

2 Koleksi

Tersedia

2 Koleksi

Kompetensi

• CSH623 - TESIS
• CSH4103 - METODE FORMAL
• CII733 - TESIS
• CII733 - TESIS
• TTI7Z4 - TESIS
• CII9H5 - PENELITIAN DISERTASI DAN SEMINAR 1
• CII9J5 - PENELITIAN DISERTASI DAN SEMINAR 2
• CII9L5 - PENELITIAN DISERTASI DAN SEMINAR 3
• CII9I1 - PENULISAN PUBLIKASI ILMIAH 1
• CII9K2 - PENULISAN PUBLIKASI ILMIAH 2
• CII9M3 - PENULISAN PUBLIKASI ILMIAH 3

Download / Flippingbook

Link file

Rekomendasi

 

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

• Kembali