Hoppa till sidans huvudinnehåll

Oleg Sokolsky - Böcker

Visar alla böcker från författaren Oleg Sokolsky.
8 produkter

From Reactive Systems to Cyber-Physical Systems

Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Av Ezio Bartocci, Rance Cleaveland m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Av Dang Van Hung, Oleg Sokolsky

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Dependable Software Engineering. Theories, Tools, and Applications

Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Av Kim Guldstrand Larsen, Oleg Sokolsky m. fl

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Emerging Directions in Embedded and Ubiquitous Computing

EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings

Av Xiaobo Zhou, Oleg Sokolsky m. fl

Häftad, Engelska, 2006

2 109 kr

Skickas inom 10-15 vardagar

Runtime Verification

7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Av Oleg Sokolsky, Serdar Tasiran

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Composition of Embedded Systems. Scientific and Industrial Issues

13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Av Fabrice Kordon, Oleg Sokolsky

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Foundations of Computer Software: Future Trends and Techniques for Development

15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Av Christine Choppy, Oleg Sokolsky

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Av Howard Barringer, Ylies Falcone m. fl

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar