Formal aspects of component software : 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers
editors, Luis Soares Barbosa, Markus Lumpe (Springer-Verlag, 2012)
|
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in GuimarĂ£es, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed. |
![]()
|
No. Panggil : | e20408664 |
Entri tambahan-Nama orang : | |
Subjek : | |
Penerbitan : | Berlin: Springer-Verlag, 2012 |
Sumber Pengatalogan: | LibUI eng rda |
Tipe Konten: | text |
Tipe Media: | computer |
Tipe Pembawa: | online resource |
Deskripsi Fisik: | |
Tautan: | http://link.springer.com/book/10.1007%2F978-3-642-27269-1 |
Lembaga Pemilik: | |
Lokasi: |
No. Panggil | No. Barkod | Ketersediaan |
---|---|---|
e20408664 | 20-22-01312563 | TERSEDIA |
Ulasan: |
Tidak ada ulasan pada koleksi ini: 20408664 |