jean francois raskin

Grid   List

  1. 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
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marsha Chechik
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Nether...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Jean-Francois Raskin
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of tim...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Principles of Systems Design
    Principles of Systems Design
    Jean-François Raskin
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    P. S. Thiagarajan
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bri...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb 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
    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
  7. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Jean-François Raskin
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Nethe...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Principles of Systems Design
    Principles of Systems Design
    Jean-François Raskin
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, wit...
    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>