Michael Leuschel - Böcker

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

Rigorous State-Based Methods

Av Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra

Häftad, Engelska, 2024

1 059 kr

Skickas inom 5-8 vardagar
Michael Leuschel, Fuyuki Ishikawa - Rigorous State-Based Methods, Häftad

Rigorous State-Based Methods

Av Michael Leuschel, Fuyuki Ishikawa

Häftad, Engelska, 2025

2 039 kr

Skickas inom 7-10 vardagar
Michael Leuschel, Heike Wehrheim - Integrated Formal Methods, Häftad

Integrated Formal Methods

Av Michael 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, Frank S. De Boer - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

Av Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, Frank S. De Boer

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

Av John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar