Ergebnisse filtern
Fachgebiet
Medium
  • 8
  • 8
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 6
  • 6
  • 16
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 6
  • 6
  • 2
  • 6
  • 2
  • 2
  • 1
  • 1
  • 2
  • 6
  • 2
  • 6
Verlag
  • 8
  • 4
  • 4
Preis
  • 15
  • 1
Sprachen
  • 16
Verfügbarkeit
  • 16
Katalog
  • 16
16  Treffer  für „Katoen, Joost-Pieter“
    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
    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
    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
    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
    Chechik / Katoen / Leucker | Formal Methods | Buch | Sack Fachmedien

    Chechik / Katoen / Leucker Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27480-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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 / 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
    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
    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 / Langerak / Rensink | ModelEd, TestEd, TrustEd | Buch | Sack Fachmedien

    Katoen / Langerak / Rensink ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    1. Auflage 2017
    Verlag: Springer
    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
    2001
    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
    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. 1-3 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
    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