eBooks :: Kembali

eBooks :: Kembali

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)

 Abstrak

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.

 File Digital: 1

Shelf
 Formal Aspects of Component Software.pdf :: Unduh

LOGIN required

 Metadata

Jenis Koleksi : eBooks
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:
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
e20408664 20-22-01312563 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20408664
Cover