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

Formal Program Development

Formal Program Development

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

This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.

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

Risikomanagement und Fehlervermeidung im Krankenhaus

$69.99

Lipid Rafts

$169.99

Silicene

$119.00

Geology and Landscapes of the Eastern Pyrenees

$34.99

SAP Business Information Warehouse

$59.99

Die amalgame Stadt

$59.99

Renal Handling of Phosphate

$39.99

E-Public

$44.99

Provocative Screens

$59.99

Theoretical Computer Science

$54.99

Euclidean Distance Matrices and Their Applications in Rigidity Theory

$119.99

Schulabsentismus vor dem Hintergrund regionaler Disparitten

$79.99

Deterministisches Chaos. Experimente in der Mathematik

$59.99

On State Secession from International Law Perspectives

$139.99

Neuro-Fuzzy Architectures and Hybrid Learning

$169.99

Remediation in Medical Education

$59.99

The Family Business

$59.99

The Philosophy of Authentic Leadership

$99.00

Particulate Flows

$39.99

Linear Algebra

$39.99

Coordinating Global Health Policy Responses

$44.99

Integrale Infrastrukturplanung

$44.99

Zunftkraft und Zunftstolz

$44.99

Myths of Power

$59.99

The Novels of Margaret Drabble

$54.99

Healthcare Industry Assessment: Analyzing Risks, Security, and Reliability

$149.00

Lexikon Management

$69.99

Tadpole - Emotions: Sad

$5.21

Politisch-gesellschaftlicher Unterricht in der Bundesrepublik

$49.99

Finsler Geometry, Relativity and Gauge Theories

$169.00

Loudons Nachruhm. Die Geschichte einer Sinnstiftung

$59.99

The Quest for a European Strategic Culture

$39.99

Biodiversity in Aquatic Systems and Environments

$39.99

Versuchungen

$69.95

Lokale Engagementfrderung

$39.99

Open Skies

$59.99

Group-Sequential Clinical Trials with Multiple Co-Objectives

$69.99

Quick & Easy Strategies for Close Reading and Writing (30-copy pack)

$449.70

Security Protocols XXIV

$39.99

Audiovisual Telecommunications

$219.99