E-book
Constructing Correct Software
Record details
- ISBN: 9781846280795
-
Physical Description:
electronic
electronic resource
access
remote
XXI, 509 p. 100 illus. online resource. - Edition: Second Edition.
- Publisher: London : Springer London, 2005.
Search for related items by subject
| Subject: | Computer science Software engineering Computer Science Software Engineering Mathematical Logic and Formal Languages |
