Ergebnisse filtern
Fachgebiet
Medium
  • 5
  • 5
Erscheinungsjahr
  • 2
  • 4
  • 2
  • 2
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 10
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
Verlag
  • 8
  • 2
Preis
  • 9
  • 1
Sprachen
  • 10
Verfügbarkeit
  • 10
Katalog
  • 10
10  Treffer  für „Chechik, Marsha“
    Chechik / Wirsing | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Chechik / Wirsing Fundamental Approaches to Software Engineering

    12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00592-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blazy / Chechik | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Blazy / Chechik Verified Software. Theories, Tools, and Experiments

    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48868-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blazy / Chechik | Verified Software. Theories, Tools, and Experiments | eBook | Sack Fachmedien
    E-Book

    Blazy / Chechik Verified Software. Theories, Tools, and Experiments

    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48869-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chechik / Wirsing | Fundamental Approaches to Software Engineering | eBook | Sack Fachmedien
    E-Book

    Chechik / Wirsing Fundamental Approaches to Software Engineering

    12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00593-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    van Breugel / Chechik | CONCUR 2008 - Concurrency Theory | eBook | Sack Fachmedien
    E-Book

    van Breugel / Chechik CONCUR 2008 - Concurrency Theory

    19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-85361-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chechik / Raskin | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Chechik / Raskin Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49674-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chechik / Raskin | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Chechik / Raskin Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49673-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Breugel / Chechik | CONCUR 2008 - Concurrency Theory | Buch | Sack Fachmedien

    van Breugel / Chechik CONCUR 2008 - Concurrency Theory

    19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85360-2
    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
    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

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