A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and Application of Nonblocking Programming Techniques, Static Analysis of C++, and Formal Methods - Damian Dechev - Knjige - LAP LAMBERT Academic Publishing - 9783838377339 - 8. julija 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Damian Dechev
A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and Application of Nonblocking Programming Techniques, Static Analysis of C++, and Formal Methods

Cena
€ 57,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 2. - 12. okt
Prejemajte obvestila o novih izdajah izvajalca Damian Dechev

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Future robotic space missions suggest the engineering of some of the most complex man-rated autonomous software systems. Time and concurrency are the most critical notions in an autonomous embedded system. In this work we present the design and implementation of the first concurrency and time centered framework for design and certification of autonomous space systems. We achieve this by implementing and applying a number of innovative techniques for lock-free concurrent synchronization and utilizing advanced program static analysis and formal verification.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 8. julija 2010
ISBN13 9783838377339
Založniki LAP LAMBERT Academic Publishing
Strani 180
Dimenzije 225 × 10 × 150 mm   ·   286 g
Jezik Nemščina  

Ogled vseh Damian Dechev