Ergebnisse filtern
Fachgebiet
Medium
  • 10
  • 8
Erscheinungsjahr
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
Autoren
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 6
  • 6
  • 18
  • 1
  • 2
  • 2
  • 4
  • 1
  • 6
  • 6
  • 2
  • 6
  • 2
  • 2
  • 1
  • 2
  • 6
  • 2
  • 6
Verlag
  • 1
  • 1
  • 6
  • 4
  • 6
Preis
  • 16
  • 2
Sprachen
  • 18
Verfügbarkeit
  • 18
Katalog
  • 18
18  Treffer  für „Katoen, Joost-Pieter“
    Katoen / König | CONCUR 2011 -- Concurrency Theory | eBook | Sack Fachmedien
    E-Book

    Katoen / König CONCUR 2011 -- Concurrency Theory

    22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-23217-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Stevens / Katoen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Stevens / Katoen Tools and Algorithms for the Construction and Analysis of Systems

    8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43419-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Katoen | Principles of Model Checking | Buch | Sack Fachmedien

    Baier / Katoen Principles of Model Checking

    Erscheinungsjahr 2008
    Verlag: MIT Press Ltd
    ISBN: 978-0-262-02649-9
    Medium: Buch
    131,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katoen / König | CONCUR 2011 -- Concurrency Theory | Buch | Sack Fachmedien

    Katoen / König CONCUR 2011 -- Concurrency Theory

    22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23216-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katoen / Stevens | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Katoen / Stevens Tools and Algorithms for the Construction and Analysis of Systems

    8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-46002-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brinksma / Katoen / Hermanns | Lectures on Formal Methods and Performance Analysis | Buch | Sack Fachmedien

    Brinksma / Katoen / Hermanns Lectures on Formal Methods and Performance Analysis

    First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42479-6
    Medium: Buch
    53,49 € (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
    Katoen / Langerak / Rensink | ModelEd, TestEd, TrustEd | eBook | Sack Fachmedien
    E-Book

    Katoen / Langerak / Rensink ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68270-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Guan / Katoen / Sun | Dependable Software Engineering. Theories, Tools, and Applications | eBook | Sack Fachmedien
    E-Book

    Guan / Katoen / Sun Dependable Software Engineering. Theories, Tools, and Applications

    5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-35540-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Guan / Sun / Katoen | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Guan / Sun / Katoen Dependable Software Engineering. Theories, Tools, and Applications

    5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-35539-5
    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
    Katoen / Rensink / Langerak | ModelEd, TestEd, TrustEd | Buch | Sack Fachmedien

    Katoen / Rensink / Langerak ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68269-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Hermanns / Katoen | Lectures on Formal Methods and Performance Analysis | eBook | Sack Fachmedien
    E-Book

    Brinksma / Hermanns / Katoen Lectures on Formal Methods and Performance Analysis

    First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44667-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Silva / Barthe / Katoen | Foundations of Probabilistic Programming | Buch | Sack Fachmedien

    Silva / Barthe / Katoen Foundations of Probabilistic Programming

    Erscheinungsjahr 2020
    Verlag: Cambridge University Press
    ISBN: 978-1-108-48851-8
    Medium: Buch
    73,50 € (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
    Baier / Haverkort / Hermanns | Validation of Stochastic Systems | eBook | Sack Fachmedien
    E-Book

    Baier / Haverkort / Hermanns Validation of Stochastic Systems

    A Guide to Current Research
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-24611-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Baier / Haverkort / Siegle | Validation of Stochastic Systems | Buch | Sack Fachmedien

    Baier / Haverkort / Siegle Validation of Stochastic Systems

    A Guide to Current Research
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22265-1
    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