Martin Leucker - Böcker

Visar alla böcker från författaren Martin Leucker.
8 produkter
Christian Colombo, Martin Leucker - Runtime Verification, Häftad

Runtime Verification

Av Christian Colombo, Martin Leucker

Häftad, Engelska, 2018

1 099 kr

Skickas inom 10-15 vardagar
Ezio Bartocci, Yliès Falcone, Martin Leucker, Ylies Falcone, Martin Falcone, Yliès - Formal Methods in Outer Space, Häftad

Formal Methods in Outer Space

Av Ezio Bartocci, Yliès Falcone, Martin Leucker, Ylies Falcone, Martin Falcone, Yliès

Häftad, Engelska, 2021

809 kr

Skickas inom 10-15 vardagar
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods, Häftad

Formal Methods

Av Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Häftad, Engelska, 2023

1 439 kr

Skickas inom 10-15 vardagar
Martin Leucker, Camilo Rueda, Frank D. Valencia - Theoretical Aspects of Computing - ICTAC 2015, Häftad

Theoretical Aspects of Computing - ICTAC 2015

Av Martin Leucker, Camilo Rueda, Frank D. Valencia

Häftad, Engelska, 2015

739 kr

Skickas inom 10-15 vardagar
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner - Model-Based Testing of Reactive Systems, Häftad

Model-Based Testing of Reactive Systems

Av Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Häftad, Engelska, 2005

739 kr

Skickas inom 10-15 vardagar
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol - Formal Methods: Applications and Technology, Häftad

Formal Methods: Applications and Technology

Av Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Häftad, Engelska, 2007

739 kr

Skickas inom 10-15 vardagar
Martin Leucker - Runtime Verification, Häftad

Runtime Verification

Av Martin Leucker

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar
Martin Leucker, Charles Carroll Morgan, Carroll Morgan - Theoretical Aspects of Computing - ICTAC 2009, Häftad

Theoretical Aspects of Computing - ICTAC 2009

Av Martin Leucker, Charles Carroll Morgan, Carroll Morgan

Häftad, Engelska, 2009

739 kr

Skickas inom 10-15 vardagar