eBooks :: Kembali

eBooks :: Kembali

Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings

Rohit Gheyi, David Naumann ([, Springer-Verlag], 2012)

 Abstrak

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

 File Digital: 1

Shelf
 Formal Methods- Foundations and Applications.pdf :: Unduh

LOGIN required

 Kata Kunci

 Metadata

Jenis Koleksi : eBooks
No. Panggil : e20409397
Entri utama-Nama orang :
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
Tautan : http://link.springer.com/book/10.1007%2F978-3-642-33296-8
No. Panggil No. Barkod Ketersediaan
e20409397 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20409397
Cover
 Lihat juga