Ergebnisse filtern
Fachgebiet
Medium
  • 8
  • 8
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Autoren
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 4
  • 16
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
Verlag
  • 5
  • 3
  • 7
  • 1
Preis
  • 15
  • 1
Sprachen
  • 16
Verfügbarkeit
  • 16
Katalog
  • 16
16  Treffer  für „Leucker, Martin“
    Leucker | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Leucker Runtime Verification

    8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
    2008
    Verlag: Springer
    ISBN: 978-3-540-89247-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leucker | Runtime Verification | Buch | Sack Fachmedien

    Leucker Runtime Verification

    8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89246-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leucker / Colombo | Runtime Verification | Buch | Sack Fachmedien

    Leucker / Colombo Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-03768-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colombo / Leucker | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Colombo / Leucker Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03769-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Morgan / Leucker | Theoretical Aspects of Computing - ICTAC 2009 | Buch | Sack Fachmedien

    Morgan / Leucker Theoretical Aspects of Computing - ICTAC 2009

    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03465-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leucker / Morgan | Theoretical Aspects of Computing - ICTAC 2009 | eBook | Sack Fachmedien
    E-Book

    Leucker / Morgan Theoretical Aspects of Computing - ICTAC 2009

    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03466-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bartocci / Falcone / Leucker | Formal Methods in Outer Space | eBook | Sack Fachmedien
    E-Book

    Bartocci / Falcone / Leucker Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87348-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bartocci / Leucker / Falcone | Formal Methods in Outer Space | Buch | Sack Fachmedien

    Bartocci / Leucker / Falcone Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87347-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Leucker / Katoen | Formal Methods | Buch | Sack Fachmedien

    Chechik / Leucker / Katoen Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6¿10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-27480-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leucker / Valencia / Rueda | Theoretical Aspects of Computing - ICTAC 2015 | Buch | Sack Fachmedien

    Leucker / Valencia / Rueda Theoretical Aspects of Computing - ICTAC 2015

    12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25149-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Katoen / Leucker | Formal Methods | eBook | Sack Fachmedien
    E-Book

    Chechik / Katoen / Leucker Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-27481-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leucker / Rueda / Valencia | Theoretical Aspects of Computing - ICTAC 2015 | eBook | Sack Fachmedien
    E-Book

    Leucker / Rueda / Valencia Theoretical Aspects of Computing - ICTAC 2015

    12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25150-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brim / Haverkort / Leucker | Formal Methods: Applications and Technology | eBook | Sack Fachmedien
    E-Book

    Brim / Haverkort / Leucker 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
    2007
    Verlag: Springer
    ISBN: 978-3-540-70952-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brim / Pol / Haverkort | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Pol / Haverkort 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, R
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jonsson / Katoen | Model-Based Testing of Reactive Systems | eBook | Sack Fachmedien
    E-Book

    Broy / Jonsson / Katoen Model-Based Testing of Reactive Systems

    Advanced Lectures
    2005
    Verlag: Springer
    ISBN: 978-3-540-32037-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Broy / Jonsson / Pretschner | Model-Based Testing of Reactive Systems | Buch | Sack Fachmedien

    Broy / Jonsson / Pretschner Model-Based Testing of Reactive Systems

    Advanced Lectures
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26278-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular