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