Search Results
Showing Item 98 of 907
PreviousNext
Rigorous Software Development An Introduction to Program Verification
E-book
Electronic resources
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 |
Search for related items by series
Search Results
Showing Item 98 of 907
PreviousNext