Hoppa till sidans huvudinnehåll

Michael Leuschel – författare

Visar alla böcker från författaren .
5 produkter
Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra - Rigorous State-Based Methods, Häftad

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 079 kr

Skickas inom 10-15 vardagar

Michael Leuschel, Fuyuki Ishikawa - Rigorous State-Based Methods, Häftad
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 869 kr

Skickas inom 5-8 vardagar

Michael Leuschel, Heike Wehrheim - Integrated Formal Methods, Häftad

Integrated Formal Methods

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

AvMichael Leuschel,Heike Wehrheim

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel - Formal Methods for Components and Objects, Häftad

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

729 kr

Skickas inom 10-15 vardagar

John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene - Abstract State Machines, Alloy, B, VDM, and Z, Häftad

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

709 kr

Skickas inom 10-15 vardagar