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

Multipersonelles Verhalten bei strategischen Entscheidungen

$49.99

Foundation of Computational Visualistics

$54.99

Cyberhate in the Context of Migrations

$159.99

Financial Statements

$129.00

Information Security Practice and Experience

$39.99

Planning Support Systems and Smart Cities

$169.99

Information Sharing in Military Operations

$129.99

Deference to the Administration in Judicial Review

$219.99

Database Systems for Advanced Applications

$119.99

Geometric Techniques in Gauge Theories

$34.99

Plant Biotechnology and In Vitro Biology in the 21st Century

$329.99

Progress in the Chemistry of Organic Natural Products 108

$379.99

Microfluidics for Biologists

$129.00

Untersuchung ber Bindungsfestigkeiten innermolekularer Wasserstoffbrcken in organischen Verbindung

$59.99

Ultrastructure of the Extraparietal Glands of the Digestive Tract

$84.99

Information Access Evaluation. Multilinguality, Multimodality, and Visualization

$54.99

The Development of Word Meaning

$39.99

Waves and Compressible Flow

$49.99

Erblichkeit der Intelligenz

$17.99

Artificial Intelligence: Methodology, Systems, and Applications

$54.99

Complex Analytic Geometry

$44.99

Eros and Poetry at the Courts of Mary Queen of Scots and James VI

$84.99

Organisationstheorie

$19.99

Sprache, Sinn und Situation

$74.99

Einfhrung in die Neuere deutsche Literaturwissenschaft

$19.99

Harold Laski: Problems of Democracy, the Sovereign State, and International Society

$39.99

Formal Aspects of Component Software

$54.99

The Golden Rule in Sports

$54.99

Klinische Psychologie und Psychotherapie

$17.99

Global Pharmaceutical Policy

$169.99

Zum bilanzpolitischen Potential von Zinsinstrumenten in der IFRS-Bankbilanz

$74.99

Shrinking Japan and Regional Variations: Along the Hokurikudo and the Tosando I

$64.99

ber die Darstellung psychisch abnormer und geisteskranker Charaktere auf der Bhne

$54.99

Philosophy in Educational Research

$139.99

Catstronauts: Race to Mars

$8.21

Mathematik fr Software Engineering

$44.99

International Auditing

$109.99

On the Ecology of Australias Arid Zone

$84.99

Return Migration and Crises in Non-Western Countries

$109.00

Urban Memory in City Transitions

$119.00