This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
€57.77
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप EPUB ● ISBN 9783319989389 ● संपादक Carlo A. Furia & Kirsten Winter ● प्रकाशक Springer International Publishing ● प्रकाशित 2018 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6788599 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है
एक ही लेखक से अधिक ईबुक / संपादक
16,592 इस श्रेणी में ईबुक
