Refinement in Z and Object-Z: Foundations and Advanced Applications

More Information

Format: Paperback
Pages: 512
Edition: Softcover reprint of the original 2nd ed. 2014
Publisher: Springer
Published: 23 Aug 2015
ISBN 10: 144716167X
ISBN 13: 9781447161677