Erweiterte Suche

Grid  List

  1. Model Checking Software Model Checking Software

    Model Checking Software

    C. R. Ramakrishnan
    Springer Berlin Heidelberg
    19.07.2013

    This book constitutes the refereed proceedings of the 20th International Symposium on Model Check...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Runtime Verification Runtime Verification

    Runtime Verification

    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    11.09.2015

    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Ver...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Lectures on Runtime Verification Lectures on Runtime Verification

    Lectures on Runtime Verification

    Yliès Falcone
    Springer International Publishing, Springer International Publishing
    11.02.2018

    The idea of this volume originated from the need to have a book for students to support their tra...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computational Methods in Systems Biology Computational Methods in Systems Biology

    Computational Methods in Systems Biology

    Ezio Bartocci
    Springer International Publishing, Springer International Publishing
    04.09.2016

    This book constitutes the refereed proceedings of the 14th International Conference on Computatio...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems

    From Reactive Systems to Cyber-Physical Systems

    Ezio Bartocci
    Springer International Publishing, Springer International Publishing
    21.09.2019

    This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods in Outer Space Formal Methods in Outer Space

    Formal Methods in Outer Space

    Ezio Bartocci
    Springer International Publishing, Springer International Publishing
    28.09.2021

    This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1