Michael Leuschel - Böcker

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

Av Silvia Bonfanti, Angelo Gargantini m. fl

Häftad, Engelska, 2024

1 059 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Av Michael Leuschel, Fuyuki Ishikawa

Häftad, Engelska, 2025

2 039 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

Av Michael Leuschel, Heike Wehrheim

Häftad, Engelska, 2009

729 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

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2011

729 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

Av John Derrick, John Fitzgerald m. fl

Häftad, Engelska, 2012

699 kr

Skickas inom 10-15 vardagar