E-book
Refinement in Z and Object-Z [electronic resource] : Foundations and Advanced Applications / by John Derrick, Eerke A. Boiten.
Record details
- ISBN: 9781447153559
- Physical Description: XVIII, 492 p. 49 illus. online resource.
- Edition: 2nd ed. 2014.
- Publisher: London : Springer London : 2014.
Search for related items by subject
| Subject: | Computer science. Software engineering. Computer Science. Mathematical Logic and Formal Languages. Software Engineering. |
