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 |
| 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: | |
| 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: | |
| Deskripsi Fisik: | vii, 239 pages : illustrations ; 23 cm |
| 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 |
