Oleg Sokolsky

Visar alla böcker från författaren Oleg Sokolsky. Handla med fri frakt och snabb leverans.

1. 

   From Reactive Systems to Cyber-Physical Systems

   2019

   • Häftad 571 kr
   • E-bok 739 kr
2. 

   Automated Technology for Verification and Analysis

   2020

   • Häftad 571 kr
   • E-bok 739 kr
3. 

   Dependable Software Engineering. Theories, Tools, and Applications

   2017

   • Häftad 571 kr
   • E-bok 718 kr
4. 

   Emerging Directions in Embedded and Ubiquitous Computing

   2006

   • Häftad 1699 kr
   • E-bok 2174 kr
5. 

   Runtime Verification

   2007

   • Häftad 571 kr
   • E-bok 739 kr
   • Häftad 571 kr
   • E-bok 755 kr
6. 

   Composition of Embedded Systems. Scientific and Industrial Issues

   2008

   • Häftad 571 kr
   • E-bok 755 kr
7. 

   Foundations of Computer Software: Future Trends and Techniques for Development

   2010

   • Häftad 571 kr
   • E-bok 755 kr