Michael Leuschel – författare

Visar alla böcker från författaren Michael Leuschel.

5 produkter

Kategorier

5 produkter

Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
AvSilvia Bonfanti,Angelo Gargantinim. fl.
Häftad, Engelska, 2024
1 109 kr
Skickas inom 10-15 vardagar
Del 15728
Del 15728 - Lecture Notes in Computer Science
Rigorous State-Based Methods
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings
AvMichael Leuschel,Fuyuki Ishikawa
Häftad, Engelska, 2025
1 919 kr
Skickas inom 5-8 vardagar
Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
AvMichael Leuschel,Heike Wehrheim
Häftad, Engelska, 2009
739 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
AvFrank S. de Boer,Marcello M. Bonsanguem. fl.
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
AvJohn Derrick,John Fitzgeraldm. fl.
Häftad, Engelska, 2012
729 kr
Skickas inom 10-15 vardagar