Copied Refinement in Z and Object-Z
Refinement in Z and Object-Z
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.
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
|
|
$84.99 | $84.99 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Digital Economy, Business Analytics, and Big Data Analytics Applications
$219.99
Respiratoren in der klinischen Praxis
$69.99
China Green Development Index Report 2012
$129.00
Remote Sensing Time Series
$199.99
Frauen Mnner Management
$44.99
The primordial universe - L'univers primordial
$169.00
Development Outlook of Education and Migration
$129.99
Motivation and Productivity in the Construction Industry
$109.99
Fracture Mechanics of Piezoelectric and Ferroelectric Solids
$169.99
Media and Crime in Argentina
$119.99
Creative License
$179.99
Medical and Biomedical Applications of Shock Waves
$149.00
Communicology of the South
$109.99
Practical Synthesis of High-Performance Analog Circuits
$129.00
Internet and Network Economics
$84.99
On Genes, Gods and Tyrants
$54.99
Class, Individualization and Late Modernity
$54.99
David Bowie and Film
$99.00
Billions of Bricks
$4.46
A Guide to Blood and Marrow Transplantation
$39.99
Wireless and Satellite Systems
$54.99
Die wirtschaftliche Nutzungsdauer von Anlagegtern
$59.99
Component Deployment
$54.99
Combinatorics Advances
$109.99
Pattern Recognition in Bioinformatics
$39.99
Selbstverstndigungen
$69.99
Femtosecond Laser Micromachining
$299.99
Logic Programming and Nonmonotonic Reasoning
$39.99
Taschenbuch zum Abstecken von Kreisbgen mit und ohne bergangskurven fr Eisenbahnen, Straen und K
$84.99
Cash Crop Halophytes: Recent Studies
$219.99
Reliability and Statistics in Transportation and Communication
$169.00
TA-Siedlungsabfall
$69.99
Current Trends in Concrete Fracture Research
$169.99
Zur Zukunft der Controllingforschung
$89.99
Advances in Artificial Intelligence and Soft Computing
$54.99
Life Cycle Investing and Occupational Old-Age Provision in Switzerland
$54.99
Cognition, Metacognition, and Reading
$39.99
Performance Management in der digitalen Welt
$69.99
Human Action and Its Explanation
$54.99
Rechnen an spanabhebenden Werkzeugmaschinen
$79.99
