Rigorous Software Development An Introduction to Program Verification
Record details
- ISBN: 9780857290182
- Physical Description: 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. |