लेखक: Michael Leuschel

समर्थन

4 द्वारा ईबुक Michael Leuschel

Michael Leuschel & Heike Wehrheim: Integrated Formal Methods
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, Germany in February 2009. The 21 revised full papers pre …
PDF
अंग्रेज़ी
DRM
€57.82
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last tw …
PDF
अंग्रेज़ी
DRM
€58.12
John Derrick & John Fitzgerald: Abstract State Machines, Alloy, B, VDM, and Z
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented toge …
PDF
अंग्रेज़ी
DRM
€57.65
Silvia Bonfanti & Angelo Gargantini: Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.The 29 papers included i …
EPUB
अंग्रेज़ी
DRM
€83.45