A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and application of nonblocking programming techniques, static analysis of C++, and formal methods
LAP Lambert Academic Publishing (9783838377339) | And formal
Preis von (2 Angebote)67.99 EUR
Weitere Informationen

