Erweiterte Suche

Grid  List

  1. Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    17.10.2017

    This book constitutes the proceedings of the Third International Symposium on Dependable Software...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Foundations of Computer Software: Future Trends and Techniques for Development Foundations of Computer Software: Future Trends and Techniques for Development

    Foundations of Computer Software: Future Trends and Techniques for Development

    Oleg Sokolsky
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.04.2010

    This volume contains revised and expanded versions of the papers presented at th the 15 Monterey ...

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

    Runtime Verification

    Serdar Tasiran
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    12.12.2007

    Runtime veri?cation is a recent direction in formal methods research, which is complementary to s...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Oleg Sokolsky
    Springer International Publishing, Springer Nature Switzerland
    12.10.2020

    This book constitutes the refereed proceedings of the 18th International Symposium on Automated T...

    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 Nature Switzerland
    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. Composition of Embedded Systems. Scientific and Industrial Issues Composition of Embedded Systems. Scientific and Industrial Issues

    Composition of Embedded Systems. Scientific and Industrial Issues

    Fabrice Kordon
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 69,54 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Runtime Verification Runtime Verification

    Runtime Verification

    Howard Barringer
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 99,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Emerging Directions in Embedded and Ubiquitous Computing Emerging Directions in Embedded and Ubiquitous Computing

    Emerging Directions in Embedded and Ubiquitous Computing

    Xiaobo Zhou
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    Here are the refereed proceedings of the EUC 2006 workshops, held in conjunction with the IFIP In...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 181,89 €

    Jetzt 160,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1