Michael Leuschel | Booky.fi

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 20

de Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Leuschel, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,10 €

Integrated Formal Methods - 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Leuschel, Michael; Wehrheim, Heike
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,10 €

Rigorous State-Based Methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Leuschel, Michael; Ishikawa, Fuyuki
Springer
2025
Pehmeäkantinen kirja

130,80 €

Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceed

Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,10 €

Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Bonfanti, Silvia; Gargantini, Angelo; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia
Springer
2024
Pehmeäkantinen kirja

76,00 €