This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
€57.61
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● ISBN 9783642405617 ● Penyunting Mario Bravetti & Robert M. Hierons ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2013 ● Muat turun 3 kali ● Mata wang EUR ● ID 6378586 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM
Lebih banyak ebook daripada pengarang yang sama / Penyunting
3,682 Ebooks dalam kategori ini
