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
9781447102571
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; - and 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.

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

Ethics and Human Rights in Anglophone African Womens Literature

$99.99

Informationswirtschaft

$59.99

Die Neuverhandlung sozialer Gerechtigkeit

$79.99

Cryptocurrency Compliance and Operations

$44.99

Biologische Allgemeinprobleme der Medizin

$44.99

Logic Programming

$109.99

Desperate Journey

$6.71

Spectroscopy of Defects in Organic Crystals

$129.00

Decoding History

$84.99

Arbeitsteilige Auftragsabwicklung in der Transportkette

$64.99

Statistical Methods for the Environmental Sciences

$39.99

Computational Science and Its Applications ICCSA 2023

$99.99

Scholastic Success With Reading Tests: Grade 4 Workbook

$5.24

Applied Fractional Calculus in Identification and Control

$109.99

Bilanzanalyse und Bilanzkritik

$44.99

Internationale Whrungsprobleme

$59.99

Unternehmerische Herausforderung durch den Europischen Binnenmarkt 1992

$69.99

Congenital Dysplasia and Dislocation of the Hip in Children and Adults

$159.99

Springer Tracts in Modern Physics 17

$54.99

Husserl, Heidegger and the Crisis of Philosophical Responsibility

$39.99

Stroke MRI

$39.99

The Metaphysics of Resurrection in Seventeenth-Century Philosophy

$99.00

Schreiben(d) lernen im Team

$64.99

Information, Organisation and Technology

$169.00

Fundamentals of Physics and Chemistry of the Atmosphere

$189.00

Langzeitbetreuung Wachkoma

$74.99

Palaeobiology of Middle Paleozoic Marine Brachiopods

$54.99

Betriebsergebnisrechnung fr Schaden-/Unfallversicherungsunternehmen

$59.99

Berufsausbildung und Weiterbildung

$59.99

A Comprehensive Evaluation on Emergency Response in China

$54.99

Classical Conditioning and Operant Conditioning

$54.99

Proceedings of STCCE 2022

$219.99

Institutional Change and Economic Behaviour

$84.99

Vorhofflimmern Vorhofflattern

$79.99

Proceedings of the 18th International Conference on Environmental Degradation of Materials in Nuclea

$329.99

Die Neue Rechte in den USA

$59.99

Instrumental Autonomy, Political Socialization, and Citizenship Identity

$54.99

Transactions on Rough Sets XIV

$39.99

Magnetic Resonance in Oncology

$39.99

Fourier Transformation for Pedestrians

$54.99