*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Runtime Verification
    Runtime Verification
    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Model Checking Software
    Model Checking Software
    C. R. Ramakrishnan
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    InhaltsangabeExplicit-state model checking techniques.- Other related tools.- Techniques for the ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computational Methods in Systems Biology
    Computational Methods in Systems Biology
    Ezio Bartocci
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Lectures on Runtime Verification
    Lectures on Runtime Verification
    Yliès Falcone
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. From Reactive Systems to Cyber-Physical Systems
    From Reactive Systems to Cyber-Physical Systems
    Ezio Bartocci
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods in Outer Space
    Formal Methods in Outer Space
    Ezio Bartocci
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    59,55 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1