Grid   List

  1. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Franck Cassez
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Franck Cassez
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 12...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Modeling and Verification of Parallel Processes

    Modeling and Verification of Parallel Processes

    Franck Cassez
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Daily life relies more and more on safety criti...

    44,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Modeling and Verification of Parallel Processes

    Modeling and Verification of Parallel Processes

    Franck Cassez
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Daily life relies more and more on safety criti...

    45,96 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  5. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Claude Jard
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Jean-Francois Raskin
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 12...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga