Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)
Aichernig, Bernhard K.; Boer, Frank S. de, editor; Bonsangue, Marcello M., editor
(Springer-Verlag, 2011)
|
![]()
|
Jenis Koleksi : | eBooks |
No. Panggil : | e20407983 |
Entri tambahan-Nama orang : | |
Subjek : | |
Penerbitan : | Berlin: Springer-Verlag, 2011 |
Sumber Pengatalogan: | |
Tipe Konten: | |
Tipe Media: | |
Tipe Pembawa: | |
Deskripsi Fisik: | |
Tautan: | http://link.springer.com/book/10.1007%2F978-3-642-25271-6 |
Lembaga Pemilik: | |
Lokasi: |
No. Panggil | No. Barkod | Ketersediaan |
---|---|---|
e20407983 | TERSEDIA |
Ulasan: |
Tidak ada ulasan pada koleksi ini: 20407983 |