Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Program Development
Best Price (Coupon Required):
Buy Formal Program Development for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
The Sky at Night
$29.99
Protecting Human Rights in the EU
$84.99
Sound - Perception - Performance
$169.99
Heidegger, Aristotle and the Work of Art
$54.99
Extraction of Semiconductor Diode Parameters
$109.00
The Struggle for International Consensus on Population and Development
$54.99
Tools and Algorithms for the Construction and Analysis of Systems
$54.99
Multiple Impacts in Dissipative Granular Chains
$84.99
Current Aspects of Blood Coagulation, Fibrinolysis, and Platelets
$54.99
Trends in Colloid and Interface Science III
$39.99
From Telecommunications Liberalization to Net Neutrality Rules
$99.99
The Inclusion of Environmental Education in Science Teacher Education
$84.99
Molekularbiologische Methoden in der Diagnostik
$99.99
Progress in Botany
$259.00
Modelling and Control for Intelligent Industrial Systems
$129.00
Arbeit Freizeit Lebenszeit
$59.99
Development, Poverty of Culture, and Social Policy
$39.99
Pflegehandbuch Arzneitherapie
$239.00
Separation of Commercial and Investment Banking
$59.99
Tackling the Concussion Epidemic
$169.99
Tempered Stable Distributions
$54.99
Physikalische Chemie
$39.99
A Modal Approach to the Space-Time Dynamics of Cognitive Biomarkers
$89.99
Surface Flute Waves in Plasmas
$84.99
Illustriertes Spielbuch fr Kinder
$59.99
Proceedings of International Conference on Recent Innovations in Computing
$249.99
Automobil-Metechnik
$59.99
Nonlinear Processes in Geophysical Fluid Dynamics
$169.99
Mathematical Foundations of Computer Science 1995
$84.99
Transient Electromagnetic Fields
$39.99
Soils Under Stress
$84.99
Synthesen und Abbau von Oligosacchariden mit verzweigten Ketten
$59.99
Mediators and Drugs in Gastrointestinal Motility II
$84.99
Creativity in Theatre
$159.99
Sexy Blake
$54.99
Human Consequences of Crowding
$39.99
An Artificial Intelligence Approach to VLSI Design
$169.99
Outside and Inside Mummies
$6.71
Graded Exercises in Electrical and Electronic Engineering
$84.99
Kontenrahmen als Mittel der Betriebssteuerung
$74.99
