Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasio
71,61 €
Since 2006 he has been working in NASA's Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft.
Jetzt bei Ebay:
