Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Publisher: Springer
Published: Jan 04, 2011
Number of pages: 269
ISBN-13: 9780857290182