Michael Leuschel – författare
Visar alla böcker från författaren Michael Leuschel. Handla med fri frakt och snabb leverans.
10 produkter
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Av Silvia Bonfanti, Angelo Gargantini m. fl.
Häftad, 2024
848 kr
Lägg i varukorg
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 in this volume were carefully reviewed and selected from 47 submissions. They were organized in …
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Av Patrizia Scandurra, Elvinia Riccobene m. fl.
E-bok, 2024
1067 kr
Lägg i varukorg
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 in this volume were carefully reviewed and selected from 47 submissions. They were organized in …
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
Av Michael Leuschel, Fuyuki Ishikawa
Häftad, 2025
1457 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were …
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Dusseldorf, Germany, June 10-13, 2025, Proceedings
Av Fuyuki Ishikawa, Michael Leuschel
E-bok, 2025
1838 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were …
Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Av Michael Leuschel, Heike Wehrheim
Häftad, 2009
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The …
Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Av Heike Wehrheim, Michael Leuschel
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The …
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2011
567 kr
Lägg i varukorg
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 two decades from functional to structuralissues. Formal methods have been applied successfully to the …
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Av Michael Leuschel, Stefan Hallerstede m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
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 two decades from functional to structuralissues. Formal methods have been applied successfully to the …
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av John Derrick, John Fitzgerald m. fl.
Häftad, 2012
551 kr
Lägg i varukorg
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 together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 …
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av Elvinia Riccobene, Steve Reeves m. fl.
E-bok, 2012
718 kr
Lägg i varukorg
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 together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 …
