This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
€57.99
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप EPUB ● ISBN 9783031661495 ● संपादक Thomas Neele & Anton Wijs ● प्रकाशक Springer Nature Switzerland ● प्रकाशित 2024 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 9999264 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है
एक ही लेखक से अधिक ईबुक / संपादक
18,802 इस श्रेणी में ईबुक
