Martin Leucker – författare

Visar alla böcker från författaren Martin Leucker.

8 produkter

Kategorier

8 produkter

Del 11237
Del 11237 - Lecture Notes in Computer Science
Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
AvChristian Colombo,Martin Leucker
Häftad, Engelska, 2018
1 099 kr
Skickas inom 10-15 vardagar
Del 13065
Del 13065 - Lecture Notes in Computer Science
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
AvEzio Bartocci,Yliès Falconem. fl.
Häftad, Engelska, 2021
809 kr
Skickas inom 10-15 vardagar
Del 14000
Del 14000 - Lecture Notes in Computer Science
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
AvMarsha Chechik,Joost-Pieter Katoenm. fl.
Häftad, Engelska, 2023
1 459 kr
Skickas inom 10-15 vardagar
Del 9399
Del 9399 - Lecture Notes in Computer Science
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
AvMartin Leucker,Camilo Ruedam. fl.
Häftad, Engelska, 2015
739 kr
Skickas inom 10-15 vardagar
Model-Based Testing of Reactive Systems
Advanced Lectures
AvManfred Broy,Bengt Jonssonm. fl.
Häftad, Engelska, 2005
739 kr
Skickas inom 10-15 vardagar
Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
AvLubos Brim,Boudewijn Haverkortm. fl.
Häftad, Engelska, 2007
739 kr
Skickas inom 10-15 vardagar
Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
AvMartin Leucker
Häftad, Engelska, 2008
739 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
AvMartin Leucker,Charles Carroll Morgan
Häftad, Engelska, 2009
739 kr
Skickas inom 10-15 vardagar