Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
edited by Elena Giachino, Reiner Hähnle, Frank S. Boer and Marcello M. Bonsangue (Springer, 2013)
|
| Jenis Koleksi : | Buku Teks SO |
| No. Panggil : | 004.01 FOR f |
| Entri utama-Nama pertemuan : | |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | Heidelberg: Springer, 2013 |
| Sumber Pengatalogan : | LibUI eng rda |
| ISBN : | 9783642406140 |
| Tipe Konten : | text |
| Tipe Media : | unmediated |
| Tipe Carrier : | volume ; online resource |
| Edisi : | |
| Deskripsi Fisik : | vii, 239 pages : illustrations ; 23 cm |
| Catatan Bibliografi : | Bibliografi di tiap bab |
| Catatan Seri : | Lecture notes in computer science; 7866 |
| Catatan Umum : | 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures |
| Catatan Versi Asli : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI Lantai 2 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| 004.01 FOR f | 01-18-10821 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20510384 |
