This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
€57.88
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format EPUB ● ISBN 9783319668451 ● Penyunting Nadia Polikarpova & Steve Schneider ● Penerbit Springer International Publishing ● Diterbitkan 2017 ● Muat turun 3 kali ● Mata wang EUR ● ID 6211196 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM
Lebih banyak ebook daripada pengarang yang sama / Penyunting
74,618 Ebooks dalam kategori ini
