Michael Leuschel – författare

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

5 produkter

1. 

   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

   1089 kr

   Lägg i varukorg

2. 

   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

   1869 kr

   Lägg i varukorg

3. 

   Integrated Formal Methods

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

   Av Michael Leuschel, Heike Wehrheim

   Häftad, 2009

   729 kr

   Lägg i varukorg

4. 

   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

   729 kr

   Lägg i varukorg

5. 

   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

   709 kr

   Lägg i varukorg