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.
1113838657
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.
99.0 In Stock
Refinement in Z and Object-Z: Foundations and Advanced Applications

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

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

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

eBook2nd ed. 2014 (2nd ed. 2014)

$99.00 

Available on Compatible NOOK devices, the free NOOK App and in My Digital Library.
WANT A NOOK?  Explore Now

Related collections and offers


Overview

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.

Product Details

ISBN-13: 9781447153559
Publisher: Springer-Verlag New York, LLC
Publication date: 08/30/2013
Sold by: Barnes & Noble
Format: eBook
Pages: 492
File size: 8 MB
From the B&N Reads Blog

Customer Reviews