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

by: John Derrick · Eerke a. Boiten

Paperback

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-1-4471-5356-6

ISBN-10: 1-4471-5356-1

Springer · 2013