eBooks :: Kembali

eBooks :: Kembali

Foundations of software science and computational structures : 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24–April 1, 2012 : proceedings

edited by Lars Birkedal (Springer-Verlag, 2012)

 Abstrak

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

 File Digital: 1

Shelf
 Foundations of Software Science and Computational Structures.pdf :: Unduh

LOGIN required

 Kata Kunci

 Metadata

Jenis Koleksi : eBooks
No. Panggil : e20410262
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-28729-9
Lembaga Pemilik:
Lokasi:
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
e20410262 20-22-70532301 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20410262
Cover
 Lihat juga