Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Refinement in Z and Object-Z

Refinement in Z and Object-Z

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781447153542
Condition
New
Product Description

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students. This second edition is a comprehensive update to the first and includes the following new material: Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation Provides an updated discussion on divergence, non-atomic refinements and approximate refinement Includes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSP Presents a fuller account of the relationship between relational refinement and various models of refinement in CSP Bibliographic notes at the end of each chapter have been extended with the most up to date citations and research.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Analysis of Verbal and Nonverbal Communication and Enactment.The Processing Issues

$54.99

The Statesman's Year-Book

$99.00

Neural Information Processing

$99.99

The Blood-Retinal Barriers

$84.99

Chorionic Gonadotropin

$54.99

Techniques and Concepts of High-Energy Physics VII

$39.99

Intensified Land and Water Use

$159.99

Farbempfindung, Farbbeschreibung und Farbmessung

$59.99

Physicians Guide to the Laboratory Diagnosis of Metabolic Diseases

$219.00

Psychosomatische Medizin und Psychotherapie

$139.99

The County Diagnostic

$54.99

Essential Wavelets for Statistical Applications and Data Analysis

$84.99

Markets, Games, and Organizations

$109.99

Parenting and Family Processes in Child Maltreatment and Intervention

$89.00

Brain and Human Body Modelling 2021

$59.99

Construction and Building Research

$169.00

Die Voraussetzungen eines Deutschen Leuchtlmonopols

$59.99

Borehole Seismology and the Study of the Seismic Regime of Industrial Centres

$169.99

Guardians of Ga'hoole: #2 The Journey

$5.99

Reconfigurable Computing: Architectures, Tools and Applications

$54.99

Non-Archimedean Utility Theory

$54.99

Psychiatrische Pharmakotherapie

$89.99

Electrical Instruments in Hazardous Locations

$54.99

The Riemann Hypothesis

$199.99

Biology of Chrysomelidae

$329.99

Strategische Identitt - Orientierung im Wandel

$39.99

Changing Conceptions of Crowd Mind and Behavior

$39.99

Oxygen Transport to Tissue XXXIX

$199.99

A Practical Introduction to Fuzzy Logic using LISP

$109.99

Radical Solutions for Education in Africa

$109.99

Immigration Policy and Crisis in the Regional Context

$99.00

Computer Vision ACCV 2016

$54.99

Markterfolg im Mobile Commerce

$79.99

Quantum Physics

$54.99

Erfahrung, Festsetzung, Hypothese und Einfachheit in der wissenschaftlichen Begriffs- und Theorienbi

$24.99

Quality Assurance Program on Stereotactic Radiosurgery

$109.99

Ready4Reading Activity Book 7 Word Study

$124.75

Elektrische Kraftwerke und Netze

$84.99

Christian Scripture and Human Resource Management

$159.99

Export Activity and Strategic Trade Policy

$84.99