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

Optimization of Behavioral, Biobehavioral, and Biomedical Interventions

$219.99

Wellbeing and Transitions in Law

$169.99

Sustainable Tourism, Culture and Heritage Promotion

$169.00

Transforming Technologies to Manage Our Information

$29.99

Animal Stories: Sam the Stolen Puppy

$3.71

Perspectives on the Agro-Export Economy in Central America

$29.99

Ideen und Experimente fr eine einheitliche Theorie der Materie

$69.99

Advances in Engineering Materials

$329.99

The 12th Conference on Information Technology and Its Applications

$139.00

TOOLympics Challenge 2023

$109.99

The Rhabdoviruses

$39.99

NII Testbeds and Community for Information Access Research

$54.99

Chemical Reactions in Organic and Inorganic Constrained Systems

$169.00

Data Science and Artificial Intelligence

$119.99

Internet of Things Based Smart Healthcare

$199.99

Nmeros (Las matemticas cuentan)

$6.74

Human Rights Discourse in the Post-9/11 Age

$79.99

NETWORKING 2011 Workshops

$54.99

Favorites Collection 1: Ages 6 Months-5 Years

$157.00

Ratgeber Asthma bronchiale bei Kindern und Jugendlichen

$24.99

Quality Added Value

$59.99

Schizophrenia and Common Sense

$109.99

Astronomy in India: A Historical Perspective

$109.99

Recent Advances in Intelligent Image Search and Video Retrieval

$219.99

Strategien mittelstndischer Welt- und Europamarktfhrer

$59.99

Fussdeformitten

$59.99

A Survey on 3D Cameras: Metrological Comparison of Time-of-Flight, Structured-Light and Active Stere

$69.99

Innovationsrisikomanagement im Krankenhaus

$39.99

Aquareovirus

$199.99

Thin-Film Solar Cells

$109.99

Enterprise Information Systems

$54.99

Evolutionary Biology of Land Isopods

$129.99

Data Assimilation

$109.99

Die Entdeckungsgeschichte der Trichinen und der Trichinosis

$54.99

Mobilkommunikation / Mobile Communications

$69.99

Beginning Blockchain

$54.99

Komplexitt von Entscheidungsproblemen

$14.99

Statik der Seilkonstruktionen

$79.99

Leinenweberei

$84.99

Combinatorial Pattern Matching

$39.99