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
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat EPUB ● ISBN 9783319668451 ● Editor Nadia Polikarpova & Steve Schneider ● Uitgeverij Springer International Publishing ● Gepubliceerd 2017 ● Downloadbare 3 keer ● Valuta EUR ● ID 6211196 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer
Meer e-boeken van dezelfde auteur (s) / Editor
74.618 E-boeken in deze categorie
