Refinement in Z and Object-Z: Foundations and Advanced Applications by Derrick, John

Refinement in Z and Object-Z: Foundations and Advanced Applications (Hardcover) (ISBN-13: 9781447153542)

Vendor: John Derrick
Product type: Books
Format: Hardcover
$109.99
$109.99
$109.99
Subtotal: $109.99
Refinement in Z and Object-Z: Foundations and Advanced Applications by Derrick, John

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

$109.99
Refinement in Z and Object-Z: Foundations and Advanced Applications by Derrick, John

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

$109.99
Format: Hardcover
Description
Description
x
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.

Author: John Derrick,Eerke A. Boiten
ISBN-10: 1447153545
ISBN-13: 9781447153542
Publisher: Springer
Language: English
Published: 09/12/2013
Pages: 492
Format: Hardcover
Weight: 1.96lbs
Size: 9.21h x 6.14w x 1.13d

Recently Viewed Products