Hoppa till sidans huvudinnehåll

Oleg Sokolsky – författare

Visar alla böcker från författaren Oleg Sokolsky.
8 produkter
Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky - From Reactive Systems to Cyber-Physical Systems, Häftad
Del 11500 - Lecture Notes in Computer Science

From Reactive Systems to Cyber-Physical Systems

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

AvEzio Bartocci,Rance Cleavelandm. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Dang Van Hung, Oleg Sokolsky - Automated Technology for Verification and Analysis, Häftad
Del 12302 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

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

AvDang Van Hung,Oleg Sokolsky

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications, Häftad
Del 10606 - Lecture Notes in Computer Science

Dependable Software Engineering. Theories, Tools, and Applications

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

AvKim Guldstrand Larsen,Oleg Sokolskym. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu - Emerging Directions in Embedded and Ubiquitous Computing, Häftad

Emerging Directions in Embedded and Ubiquitous Computing

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

AvXiaobo Zhou,Oleg Sokolskym. fl.

Häftad, Engelska, 2006

2 159 kr

Skickas inom 10-15 vardagar

Oleg Sokolsky, Serdar Tasiran - Runtime Verification, Häftad

Runtime Verification

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

AvOleg Sokolsky,Serdar Tasiran

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Fabrice Kordon, Oleg Sokolsky - Composition of Embedded Systems. Scientific and Industrial Issues, Häftad

Composition of Embedded Systems. Scientific and Industrial Issues

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

AvFabrice Kordon,Oleg Sokolsky

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Christine Choppy, Oleg Sokolsky - Foundations of Computer Software: Future Trends and Techniques for Development, Häftad

Foundations of Computer Software: Future Trends and Techniques for Development

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

AvChristine Choppy,Oleg Sokolsky

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

Runtime Verification

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

AvHoward Barringer,Ylies Falconem. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar