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

5th Refinement Workshop

5th Refinement Workshop

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

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it. Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verification of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programs with Z specifications and a tactic driven refinement tool. This is the latest refinement workshop proceedings to be published in the Workshops in Computing series (the 3rd and 4th workshops having appeared in 1990 and 1991 respectively). It will be of interest to academic and industrial researchers, postgraduate students and research-oriented developers in the computer industry.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Bioinformatics Research and Applications

$54.99

Tasks in Second Language Learning

$84.99

Job Scheduling Strategies for Parallel Processing

$54.99

The Electric Car

$89.99

Laser Photobiology and Photomedicine

$39.99

Praktikum der Qualitativen Analyse fr Mediziner

$59.99

Einwilligungen im Permission Marketing

$74.99

8th International Symposium on High-Temperature Metallurgical Processing

$219.99

Big Data Analytics and Knowledge Discovery

$54.99

Glocalized Solutions for Sustainability in Manufacturing

$259.00

Ottoman/Turkish Visions of the Nation, 1860-1950

$54.99

Intelligent Control

$179.99

Surgery and Operating Room Innovation

$79.99

Die Kennlinien einer Freistrahlturbine im Triebgebiet sowie im Bremsgebiet und die Wirkungsgrade im

$59.99

A to Z Mysteries: The Goose's Gold

$5.21

Sudans Southern Problem

$84.99

Military Past, Civilian Present

$109.99

Model Reduction for Control System Design

$169.99

Handbook of the Sociology of Morality

$219.99

Tumor Therapeutic Regimens and Comprehensive Evaluation

$159.99

Neutron Stars: Theory and Observation

$259.00

Essays on Contemporary Issues in African Philosophy

$159.99

Organic Superconductivity

$169.99

International Relations and Heritage

$159.99

Management in Brasilien

$49.99

The Economic Design of Control Charts

$69.95

Citizenship in Transnational Perspective

$59.99

Sensomotorische Einlagen

$17.99

Understanding Student Participation and Choice in Science and Technology Education

$109.99

The Politics of Reparations and Apologies

$139.99

ANU Productions

$89.99

106. Kongre der Deutschen Gesellschaft fr Chirurgie Mnchen, 29. Mrz 1. April 1989

$59.99

Ganzheitliche Methodik zur Analyse und Kompensation von ansteuerungsbedingten Strungen im Regelkrei

$49.99

Brain and Heart Infarct

$84.99

The Functional Roles of Glial Cells in Health and Disease

$169.00

Selected Areas in Cryptography

$54.99

Soul Mate Biology

$119.99

Systemische Strukturaufstellungen in Beratung und Management

$49.99

Turkeys Challenges and Transformation

$139.99

Womens Activism in Twentieth-Century Britain

$19.99