Certified Programs and Proofs, Fachbücher von Dale Miller, Chris Hawblitzel

Certified Programs And Proofs Second International Conference, Cpp

Michael Norrish (u. A.) | Certified Programs And Proofs | Taschenbuch

Types for Proofs and Programs, Fachbücher von Marino Miculan, Furio Honsell, Ivan Scagnetto

Stefano Berardi (u. A.) | Types For Proofs And Programs | Taschenbuch

Nuclear Program of Iran, Fachbücher von Edward R. Miller-Jones

Proof and Computation, Fachbücher

Adapting Proofs-as-Programs, Fachbücher von Martin Wirsing, Iman Poernomo, John N. Crossley

North Korea's Nuclear Weapons Program, Fachbücher von Edward R. Miller-Jones

Truth, Proof and Infinity, Fachbücher

Constellation Program, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster

Program Monitoring and Visualization, Fachbücher

AFS Intercultural Programs, Fachbücher von Frederic P. Miller, John McBrewster, Agnes F. Vandome

Hybrid Logic and its Proof-Theory, Fachbücher

Proofs and Fundamentals, Fachbücher von Ethan D. Bloch

Microcredit programs and Reproductive Behavior, Fachbücher