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

Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

$39.99

Early Public Libraries and Colonial Citizenship in the British Southern Hemisphere

$31.00

George Gershwin (Revised Edition) (Getting to Know the World's Greatest Composers)

$21.75

Managing the Press

$43.00

Das deutsche Bankwesen

$69.99

Anthology of Philosophical and Cultural Issues

$54.99

The New European Automobile Industry

$129.00

Control in Finite and Infinite Dimension

$54.99

Politische Online-Partizipation und soziale Ungleichheit

$64.99

Fundamentals of Transference-Focused Psychotherapy

$119.99

Entrepreneurship, Self-Employment and Retirement

$84.99

Information Processing in Medical Imaging

$39.99

Symposion ber Krebsprobleme

$59.99

Modern Classification Theory of Superconducting Gap Nodes

$84.99

History of Ophthalmology

$169.99

Arbeitsmarkteffekte der Migration und Einwanderungspolitik

$79.99

Proceedings of the International Conference Engineering Innovations and Sustainable Development

$189.00

Hans-Jrgen Syberberg, the Film Director as Critical Thinker

$39.99

Hinterlegte Botschaften

$39.99

Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015)

$129.00

Computer Games

$39.99

Finanzethik und Steuergerechtigkeit

$39.99

Renal Cell Cancer

$169.99

Cultural Politics and the Transatlantic Divide over GMOs

$84.99

Altern im Wandel

$59.99

Rurality, Social Justice and Education in Sub-Saharan Africa Volume II

$139.99

Childrens Rights from International Educational Perspectives

$119.99

Radiation Therapy of Head and Neck Cancer

$84.99

Compact Riemann Surfaces

$64.99

Scholastic Text Sets Grade 2: Notable Americans

$95.00

Das groe Euro-Handbuch

$189.00

Transactions on Edutainment VII

$39.99

Elizabeth Leads the Way

$6.71

Entscheidungsorientierte Informationsbewertung

$59.99

Wholes, Sums and Unities

$169.99

Lernen Erwachsener im Bildungsmonitoring

$39.99

Ein neuer Weg zur Herstellung von Leseproben (Sehproben) fr die Nhe

$49.99

Party Finance and Political Corruption

$39.99

Linear und Complex Analysis Problem Book

$39.99

Coaching als individuelle Antwort auf gesellschaftliche Entwicklungen

$64.99