Rigorous Software Development: An Introduction to Program Verification: Used

Rigorous Software Development - 9780857290175

Introduction to Software Development: Learning to Program Author: Marwan Shaban

An Introduction to Formal Program Verification

Almeida - Rigorous Software Development An Introduction to Program V - X555z

Rigorous Software Development: An Introduction to Program Verification: New

Introduction to Formal Hardware Verification by

System Software: An Introduction to Systems Programming - leland-l-beck