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 7-10 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 7-10 vardagar
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods, Häftad
Del 14000 - Lecture Notes in Computer Science

Formal Methods

Av Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Häftad, Engelska, 2023

1 459 kr

Skickas inom 7-10 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 7-10 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 7-10 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 7-10 vardagar
Martin Leucker - Runtime Verification, Häftad

Runtime Verification

Av Martin Leucker

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 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 7-10 vardagar