Ergebnisse filtern
Fachgebiet
Medium
  • 7
  • 6
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 4
  • 3
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 6
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 6
  • 2
  • 1
  • 2
  • 6
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 6
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 7
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 6
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 2
  • 3
  • 4
  • 4
  • 1
  • 13
  • 3
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 10
  • 1
  • 2
  • 1
  • 2
  • 6
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 6
  • 1
  • 6
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 4
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 3
  • 2
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 3
  • 1
  • 2
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 3
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 6
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 2
  • 4
  • 2
  • 4
  • 1
Preis
  • 10
  • 3
Sprachen
  • 13
Verfügbarkeit
  • 13
Katalog
  • 13
13  Treffer  für „Merz, Stephan“
    Navet / Merz | Modeling and Verification of Real-time Systems | eBook | Sack Fachmedien
    E-Book

    Navet / Merz Modeling and Verification of Real-time Systems

    Formalisms and Software Tools
    1. Auflage 2013
    Verlag: John Wiley & Sons
    ISBN: 978-1-118-62395-4
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    215,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pang / Merz | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Pang / Merz Formal Methods and Software Engineering

    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Kröger | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Merz / Kröger Temporal Logic and State Systems

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08680-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kröger / Merz | Temporal Logic and State Systems | eBook | Sack Fachmedien
    E-Book

    Kröger / Merz Temporal Logic and State Systems

    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68635-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Merz / Kröger | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Merz / Kröger Temporal Logic and State Systems

    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67401-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Méry / Merz | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Méry / Merz Integrated Formal Methods

    8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16265-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Merz / Pang | Formal Methods and Software Engineering | eBook | Sack Fachmedien
    E-Book

    Merz / Pang Formal Methods and Software Engineering

    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11737-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Merz / Méry | Integrated Formal Methods | Buch | Sack Fachmedien

    Merz / Méry Integrated Formal Methods

    8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-16264-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Navet / Merz | Modeling and Verification of Real-time Systems | eBook | Sack Fachmedien
    E-Book

    Navet / Merz Modeling and Verification of Real-time Systems

    Formalisms and Software Tools
    1. Auflage 2010
    Verlag: John Wiley & Sons
    ISBN: 978-0-470-39359-8
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    215,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Navet / Merz | Modeling and Verification of Real-Time Systems | Buch | Sack Fachmedien

    Navet / Merz Modeling and Verification of Real-Time Systems

    Formalisms and Software Tools
    1. Auflage 2008
    Verlag: Wiley
    ISBN: 978-1-84821-013-4
    Medium: Buch
    253,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanchette / Merz | Interactive Theorem Proving | eBook | Sack Fachmedien
    E-Book

    Blanchette / Merz Interactive Theorem Proving

    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-43144-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Merz / Blanchette | Interactive Theorem Proving | Buch | Sack Fachmedien

    Merz / Blanchette Interactive Theorem Proving

    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-43143-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Spies / Merz | Formal Systems Specification | Buch | Sack Fachmedien

    Broy / Spies / Merz Formal Systems Specification

    The RPC-Memory Specification Case Study
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61984-0
    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