Filtrera

Ämne
  • (14)
  • (1)
Format
  • (6)
  • (8)
Utgivningsår
  • (2)
  • (12)
Leveranstid
  • (6)

Martin Leucker - Böcker

Visar alla böcker av Martin Leucker. Handla med fri frakt och snabb leverans!

Sortering:
  1. Programming and Software Engineering:

    Runtime Verification

    av Christian Colombo, Martin Leucker

    Häftad, Engelska, 2018-11-08
    842
    Köp
    Skickas från oss inom 10-15 vardagar.
    Runtime Verification

    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 care...

    Läs mer »

  2. Runtime Verification E-bok

    av Christian Colombo, Martin Leucker

    E-bok (LCP), Engelska, 2018-11-07
    1020
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Runtime Verification

    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 caref...

    Läs mer »

  3. Programming and Software Engineering:

    Formal Methods in Outer Space

    av Ezio Bartocci, Yliès Falcone, Martin Leucker, Ylies Falcone, YlièsLeucker Falcone Martin

    Häftad, Engelska, 2021-09-28
    619
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Methods in Outer Space

    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 va...

    Läs mer »

  4. Formal Methods in Outer Space E-bok

    av Ezio Bartocci, Ylies Falcone, Martin Leucker

    E-bok (LCP), Engelska, 2021-10-17
    785
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods in Outer Space

    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 va...

    Läs mer »

  5. Lecture Notes in Computer Science, del 14000:

    Formal Methods

    av Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

    Häftad, Engelska, 2023-03-03
    1104
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Methods

    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 ...

    Läs mer »

  6. Formal Methods E-bok

    av Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

    E-bok (LCP), Engelska, 2023-03-02
    1404
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods

    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lubeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed...

    Läs mer »

  7. Theoretical Computer Science and General Issues:

    Theoretical Aspects of Computing - ICTAC 2015

    av Martin Leucker, Camilo Rueda, Frank D Valencia

    Häftad, Engelska, 2015-12-25
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Theoretical Aspects of Computing - ICTAC 2015

    This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 too...

    Läs mer »

  8. Theoretical Aspects of Computing - ICTAC 2015 E-bok

    av Martin Leucker, Camilo Rueda, Frank D Valencia

    E-bok (PDF, LCP), Engelska, 2015-10-08
    686
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Theoretical Aspects of Computing - ICTAC 2015

    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 pa...

    Läs mer »

  9. Programming and Software Engineering:

    Model-Based Testing of Reactive Systems

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

    Häftad, Engelska, 2005-06-27
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Model-Based Testing of Reactive Systems

    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...

    Läs mer »

  10. Programming and Software Engineering:

    Formal Methods: Applications and Technology

    av Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco Van De Pol

    Häftad, Engelska, 2007-02-20
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Methods: Applications and Technology

    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 worksho...

    Läs mer »

  11. Formal Methods: Applications and Technology E-bok

    av Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco Van De Pol

    E-bok (PDF, LCP), Engelska, 2007-06-27
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods: Applications and Technology

    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 worksho...

    Läs mer »

  12. Programming and Software Engineering:

    Runtime Verification

    av Martin Leucker

    Häftad, Engelska, 2008-10-23
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Runtime Verification

    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 toget...

    Läs mer »

  13. Theoretical Computer Science and General Issues:

    Theoretical Aspects of Computing - ICTAC 2009

    av Martin Leucker, Charles Carroll Morgan, Carroll Morgan

    Häftad, Engelska, 2009-07-29
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Theoretical Aspects of Computing - ICTAC 2009

    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 Int...

    Läs mer »

  14. Theoretical Aspects of Computing - ICTAC 2009 E-bok

    av Martin Leucker, Charles Carroll Morgan

    E-bok (PDF, LCP), Engelska, 2009-08-03
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Theoretical Aspects of Computing - ICTAC 2009

    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 Int...

    Läs mer »