Ergebnisse filtern
Fachgebiet
Medium
  • 6
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
Verlag
  • 2
  • 2
  • 2
Preis
  • 6
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6

Mathematik | Informatik

6  Treffer  für „Merz, Stephan“
Alle Filter löschen
    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
    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
    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
    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