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
Die Konstruktion von Mnnlichkeit in kindheitspdagogischen Interaktionen
$64.99
Climate Time Series Analysis
$179.00
Legitimation globaler Politik durch NGOs
$59.99
Basic Topology
$64.95
Modernisierung der Privatheit
$44.99
Brgerschaftlichkeit und Professionalitt
$39.99
Das mrteltechnische und chemische Verhalten verschiedener Trasse und Gesteinsmehle in Verbindung mi
$84.99
Osteomyelitis of the Foot and Ankle
$129.99
Rookie Poetry - Holidays and Celebrations: Let's Celebrate Thanksgiving
$4.46
Internet of Things Enabled Antennas for Biomedical Devices and Systems
$179.99
Myocardial Infarction and Psychosocial Risks
$109.99
Philosophische Wissenschaftshistorie
$59.99
Numerical Techniques for Chemical and Biological Engineers Using MATLAB
$54.99
Multiple Choice Questions in Pain Management
$54.99
Pluralismus als Verfassungs- und Gesellschaftsmodell
$69.99
Microchip AVR Microcontroller Primer
$89.99
Advancing Cultural Astronomy
$159.99
Principles of Microbiological Troubleshooting in the Industrial Food Processing Environment
$99.00
Fluids in the Crust
$219.99
Von Karman Evolution Equations
$129.00
Handbuch Kulturpolitik
$139.99
Tsunami Science: Ten years after the 2004 Indian Ocean Tsunami
$54.99
Planetary Hinterlands
$59.99
The Worlds of Positivism
$139.99
Der technische Fortschritt beim Produktionsproze
$69.99
Bluestockings
$109.99
Risk Management and Regulation in Banking
$109.99
Ta Isa quiere un carro
$4.49
Advances in Cybernetics, Cognition, and Machine Learning for Communication Technologies
$84.99
Energy and Environment
$109.99
Aging and Recovery of Function in the Central Nervous System
$39.99
Algorithms for Games
$39.99
Xth I.S.C.E.R.G. Symposium
$54.99
kologisches Industriedesign
$44.99
Economic Crisis in Europe and the Balkans
$109.99
Lehrbuch der Technischen Mechanik starrer Systeme
$54.99
An Education in 'Evil'
$84.99
Nahost Jahrbuch 1991
$59.99
Das politische System der Ukraine
$34.99
Der elektrische Durchschlag von Gasen
$74.99
