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 Techniques in Software Engineering

Refinement Techniques in Software Engineering

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

The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relationship between a speci?cation and its implementation; it also describes the process of discoveringappropriateimplementations,givena speci?cation.Thus,in oneway or another, re?nement is at the heart of the programming process, and so is the major daily activity of everyprofessionalsoftwareengineer. The Summer School and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity. These proceedings record the contributions from the invited lecturers. Each chapter is the result of a thorough revision of the initial notes provided to the participants of the school. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the schools attendees. The editors have tried to produce a coherent view of the topic by harmonizing these contributions, smoothing out di?erences in notation and approach, and providing links between the lectures. We apologize to the authors for any errors introduced by our extensive editing. Although the chapters are linked in severalways, each one is su?ciently se- contained to be read in isolation. Nevertheless, Chap. 1 should be read ?rst by those interested in an introduction to re?nement.

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

Sleep Issues in Neuromuscular Disorders

$54.99

Die groen Fragen - Geist und Gehirn

$24.99

Die Reisebros im Vertriebssystem der Luftverkehrswirtschaft

$59.99

Datenschutz fr Entscheider in Marketing und Vertrieb

$39.99

Passionate Love and Popular Cinema

$54.99

Federalism and Regionalism in Western Europe

$84.99

The Contribution of the Postal and Delivery Sector

$159.00

E-Procurement

$39.99

Modern Concepts in Penicillium and Aspergillus Classification

$219.99

Product Development in the Socio-sphere

$84.99

Progress in Industrial Mathematics at ECMI 94

$69.99

Die Seemeilen-Wirtschaftszone / The Mile Economic Zone

$69.95

Biological Methylation and Drug Design

$219.99

Probability Theory

$109.99

The Linguistic Situation in the Islands of Yapen, Kurudu, Nau and Miosnum, New Guinea

$54.99

Core Concepts and Contemporary Issues in Privacy

$129.99

Visual Analysis of Humans

$169.99

Drug Treatment in Obstetrics

$39.99

Structure of Matter

$44.99

Hormone Toxicity in the Newborn

$84.99

Software Development with Go

$37.99

Singular Integral Equations

$39.99

Brain Informatics

$54.99

Constructing Twenty-First Century Socialism in Latin America

$39.99

Advances in Spectroscopy: Molecules to Materials

$109.99

Flexibler Umgang mit Brchen

$69.99

Sustainable Business Management and Digital Transformation: Challenges and Opportunities in the Post

$249.99

Computation and the Humanities

$59.99

Anlegerorientierte Handelsverfahren fr den deutschen Aktienmarkt

$49.99

Kleine Arzneimittellehre fr die Fachberufe im Gesundheitswesen

$54.99

PSpice for Filters and Transmission Lines

$34.99

Vertriebscontrolling

$64.99

The Ethics of Embryo Adoption and the Catholic Tradition

$169.99

Urologische Rehabilitation

$64.99

Introduction to Computational Optimization Models for Production Planning in a Supply Chain

$109.99

Frequent Pattern Mining

$199.99

Classical Theory of Electricity and Magnetism

$89.99

Pig the Winner (Pig the Pug Series) by Aaron Blabey

$14.99

Introduction to Avionics Systems

$249.99