"Program Proofs"

2 uitgaven gevonden

• Program Proofs K. Rustan M. Leino, Kaleb Leino Engelstalig Paperback 9780262546232 Maart 2023 496 pagina's Vanaf 80,99 Bekijk exemplaren
• Inertial Propulsion(c): Inertial Propulsion explained with advanced Physics, Proofs, program logic, real Mechanics and much more(c) Gottfried J. Gutsche Engelstalig Paperback 9781519723406 December 2015 164 pagina's Vanaf 29,95 Bekijk exemplaren