Rigorous Software Development : An Introduction to Program Verification
Jose Bacelar Almeida
Item not Available
Format: Book (Paperback / softback)
£26.99
£22.25
Item not Available
Book (Paperback / softback)
Rigorous Software Development : An Introduction to Program Verification
Jose Bacelar Almeida
Download - Immediately Available
Format: eBook (PDF)