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)
|
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| 004.01 FOR f | 01-18-10821 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20510384 |
