franck cassez

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 of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb 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 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb 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 critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subj...
    44,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Modeling and Verification of Parallel Processes
    Modeling and Verification of Parallel Processes
    Franck Cassez
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subj...
    45,96 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Jean-Francois Raskin
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.The...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Claude Jard
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>