E-book
Rigorous Software Development An Introduction to Program Verification
Record details
- ISBN: 9780857290182
-
Physical Description:
electronic
electronic resource
access
remote
XIII, 307p. 52 illus. digital. - Publisher: London : Springer London, 2011.
Search for related items by subject
| Subject: | Computer science Software engineering Logic design Algebra Data processing Computer Science Software Engineering Logics and Meanings of Programs Symbolic and Algebraic Manipulation |
