Rigorous Software Development: An Introduction to Program Verification

Authors: Almeida, José Bacelar, Frade, Maria Jo, Pinto, Jorge Sousa, Melo de Sousa, Sim

Ask AI a Question

Brand: Springer

ASIN: 0857290177 (CA)

55.95 CAD In Stock

Category: N/A (Slug: subjects/computers-technology/computer-science)

Ask a Question about "Rigorous Software Development: An Introduction to Program Verification"

0 / 300