Martin Leucker – författare
Visar alla böcker från författaren Martin Leucker. Handla med fri frakt och snabb leverans.
16 produkter
Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Av Christian Colombo, Martin Leucker
Häftad, 2018
850 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The …
Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Av Martin Leucker, Christian Colombo
E-bok, 2018
1067 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions. The …
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
625 kr
Lägg i varukorg
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research …
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Av Martin Leucker, Ylies Falcone m. fl.
E-bok, 2021
821 kr
Lägg i varukorg
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators. After work as a software programmer in various Danish companies, Klaus has held research …
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
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been …
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Av Martin Leucker, Joost-Pieter Katoen m. fl.
E-bok, 2023
1470 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand …
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Av Frank D. Valencia, Camilo Rueda m. fl.
E-bok, 2015
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015. The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand …
Model-Based Testing of Reactive Systems
Advanced Lectures
Av Manfred Broy, Bengt Jonsson m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …
Model-Based Testing of Reactive Systems
Advanced Lectures
Av Alexander Pretschner, Martin Leucker m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …
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
569 kr
Lägg i varukorg
These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR …
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 Jaco van de Pol, Martin Leucker m. fl.
E-bok, 2007
739 kr
Lägg i varukorg
These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR …
Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Häftad, 2008
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected …
Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
E-bok, 2008
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected …
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
569 kr
Lägg i varukorg
ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the …
Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Av Charles Carroll Morgan, Martin Leucker
E-bok, 2009
755 kr
Lägg i varukorg
ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the …
