*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Franck Cassez
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 12th International Symposium on Automated Technology...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Modeling and Verification of Parallel Processes
    Modeling and Verification of Parallel Processes
    Franck Cassez
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Daily life relies more and more on safety critical systems, e.g. in areas such as power plant con...

    45,96 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Franck Cassez
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1