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

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP. Read More

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP. Read Less

• All from $29.70
• New Books from $103.32
• Used Books from $114.06
• eBook from $29.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $29.70 (Expires Aug 07, 2024) 60 Day Rental: $39.60 (Expires Sep 06, 2024) 90 Day Rental: $49.50 (Expires Oct 06, 2024) 120 Day Rental: $59.40 (Expires Nov 05, 2024) 180 Day Rental: $64.35 (Expires Jan 04, 2025) Buy eBook Lifetime Access: $99.00 Title: Refinement in Z and Object-Z by John Derrick; Eerke A. Boiten Publisher: Springer Nature Print ISBN: 9781447153542, 1447153545 eText ISBN: 9781447153559 Edition: 2013 2nd edition Format: EPUB eBook	$29.70 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ