Martin Leucker – författare
Visar alla böcker från författaren Martin Leucker.
8 produkter
Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Av Christian Colombo, Martin Leucker
Häftad, 2018
1099 kr
Lägg i varukorg
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Av Ezio Bartocci, Yliès Falcone m. fl.
Häftad, 2021
809 kr
Lägg i varukorg
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Av Marsha Chechik, Joost-Pieter Katoen m. fl.
Häftad, 2023
1469 kr
Lägg i varukorg
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Av Martin Leucker, Camilo Rueda m. fl.
Häftad, 2015
739 kr
Lägg i varukorg
Model-Based Testing of Reactive Systems
Advanced Lectures
Av Manfred Broy, Bengt Jonsson m. fl.
Häftad, 2005
739 kr
Lägg i varukorg
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
Av Lubos Brim, Boudewijn Haverkort m. fl.
Häftad, 2007
739 kr
Lägg i varukorg
Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Häftad, 2008
739 kr
Lägg i varukorg
Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Av Martin Leucker, Charles Carroll Morgan
Häftad, 2009
739 kr
Lägg i varukorg