*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. 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
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Runtime Verification
    Runtime Verification
    Serdar Tasiran
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. 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
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Oleg Sokolsky
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

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