Search Results
Showing Item 24 of 216
PreviousNext
Rigorous Software Development An Introduction to Program Verification
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
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 24 of 216
PreviousNext