Refinement in Z and Object-Z Foundations and Advanced Applications
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. |