oleg sokolsky

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. Foundations of Computer Software: Future Trends and Techniques for Development
    Foundations of Computer Software: Future Trends and Techniques for Development
    Christine Choppy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Foundations of Computer Software: Future Trends and Techniques for Development
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Runtime Verification
    Runtime Verification
    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Runtime Verification
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Runtime Verification
    Runtime Verification
    Oleg Sokolsky
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada. The meeting was a satellite workshop of...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Emerging Directions in Embedded and Ubiquitous Computing
    Emerging Directions in Embedded and Ubiquitous Computing
    Xiaobo Zhou
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Here are the refereed proceedings of the EUC 2006 workshops, held in conjunction with the IFIP International Conference on Embedded and Ubiquitous Computing in Seoul, Korea, August 2006.
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Composition of Embedded Systems. Scientific and Industrial Issues
    Composition of Embedded Systems. Scientific and Industrial Issues
    Fabrice Kordon
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, Franc...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Dang Van Hung
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. 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
    Taschenbuch
    Bezug 11-15
    This volume contains revised and expanded versions of the papers presented at th the 15 Monterey Workshop, held during September 24 26, 2008 in Budapest, Hungary. The Monterey Workshops series was ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Runtime Verification
    Runtime Verification
    Serdar Tasiran
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation d...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. 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
  1. 1
  2. 2
<%--for search--%>