Ergebnisse filtern
Fachgebiet
Medium
  • 2
  • 1
Erscheinungsjahr
  • 1
  • 2
Autoren
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 1
  • 1
Preis
  • 1
  • 2
Sprachen
  • 3
Verfügbarkeit
  • 3
Katalog
  • 3
3  Treffer  für „Bouyer, Patricia“
    Asarin / Bouyer | Formal Modeling and Analysis of Timed Systems | eBook | Sack Fachmedien
    E-Book

    Asarin / Bouyer Formal Modeling and Analysis of Timed Systems

    4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-45031-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schröder / Bouyer | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Schröder / Bouyer Foundations of Software Science and Computation Structures

    25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-99252-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouyer / Asarin | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Bouyer / Asarin Formal Modeling and Analysis of Timed Systems

    4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45026-9
    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