yliès falcone

Grid   List

  1. Lectures on Runtime Verification
    Lectures on Runtime Verification
    Ezio Bartocci
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven ch...
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Runtime Verification
    Runtime Verification
    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Runtime Verification
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Runtime Verification
    Runtime Verification
    Yliès Falcone
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Formal Methods in Outer Space
    Formal Methods in Outer Space
    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The book title reflects Klaus's main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover ...
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Runtime Verification
    Runtime Verification
    César Sánchez
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers present...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Lectures on Runtime Verification
    Lectures on Runtime Verification
    Yliès Falcone
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven...
    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Formal Methods in Outer Space
    Formal Methods in Outer Space
    Ezio Bartocci
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and colla...
    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>