Oleg Sokolsky – författare

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

8 produkter

Kategorier

8 produkter

Del 11500
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
Del 12302
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
Del 10606
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
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 179 kr
Skickas inom 10-15 vardagar
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
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
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
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