Constructing Correct Software
Record details
- ISBN: 9781846280795
- Physical Description: 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. |