ezio bartocci

Grid   List

  1. From Reactive Systems to Cyber-Physical Systems
    From Reactive Systems to Cyber-Physical Systems
    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a num...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. 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
  3. Computational Methods in Systems Biology
    Computational Methods in Systems Biology
    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full pap...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Model Checking Software
    Model Checking Software
    Ezio Bartocci
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool d...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Runtime Verification
    Runtime Verification
    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. 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
  7. Model Checking Software
    Model Checking Software
    C. R. Ramakrishnan
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool d...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Runtime Verification
    Runtime Verification
    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presen...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Computational Methods in Systems Biology
    Computational Methods in Systems Biology
    Ezio Bartocci
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full pap...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. 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
  11. From Reactive Systems to Cyber-Physical Systems
    From Reactive Systems to Cyber-Physical Systems
    Ezio Bartocci
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.Scott A. Smolka made fundamental research contributions in ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. 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--%>