Proving Programs Correct by Robert B. Anderson

Proving Programs Correct - Paperback Anderson, Robert Brockett

REPETTO, ROBERT C. Time in India's Development Programmes [By] Robert C. Repetto

Design Thinking in Software and AI Projects: Proving Ideas Through Rapid...

The Proving Ground: The Inside Story of the 1998 Sydney to Hobart Boat Race by B

Instrumentation & Research Programmes for Small Telescopes-IAU 118/Astronomy/PB

Introducing Software Verification With Dafny Language : Proving Program Corre...

Better IEPs : How to Develop Legally Correct and Educationally Useful Programs