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
Knowledge Production and the Search for Epistemic Liberation in Africa
$109.99
Handbuch Vorrichtungen
$89.99
ZB 2002: Formal Specification and Development in Z and B
$39.99
Industrial and Technological Applications of Transport in Porous Materials
$84.99
Guarding the Invisible Dragons: A Branches Book (Dragon Masters #22)
$4.49
Transatlantische Perspektiven unter Obama und Trump
$89.00
Diagnostic Radiology
$84.99
and Enterprises in Transitional Economies
$109.99
Economic Recovery, Consolidation, and Sustainable Growth
$199.99
Sugar Confectionery Manufacture
$299.99
Vision as Process
$169.99
Le Tractatus de Wittgenstein et l thique de Spinoza
$39.99
Non-affirmative Theory of Education and Bildung
$59.99
Freiheit und geplante Demokratie
$59.99
Neuromuscular Orthodontics
$129.00
Narratives of the Islamic Conquest from Medieval Spain
$109.99
Supercritical-Pressure Light Water Cooled Reactors
$109.99
Lehrbuch der Verhaltenstherapie
$74.99
Recreational Disturbance of Shorebirds in Tropical Asia
$54.99
Systematik zur Entwicklung eines modularen Programmbaukastens fr robotergefhrte Klebeprozesse
$59.99
Engineering Psychology and Cognitive Ergonomics
$39.99
A Sociology of the World Rally Championship
$39.99
Spectral Theory of Canonical Differential Systems. Method of Operator Identities
$84.99
Rethinking Human Rights
$54.99
Renal Physiology and Hydrosaline Metabolism
$109.99
Entwicklungsgeschichte der Prothallien von Equisetum silvaticum L. und Equisetum palustre L
$59.99
Justiciability of Human Rights Law in Domestic Jurisdictions
$84.99
The Chinese in Britain, 1800-Present
$109.99
Zorropintor
$3.71
Glucocorticoids
$39.99
ber den Gehalt an Monovinylacetylen und hheren Polymeren im Acetylen aus Karbid
$54.99
Mathematical Models of Sedimentary Processes
$84.99
Advances in Cryptology -- CRYPTO 2014
$54.99
The Human Locomotor System
$119.99
The Historical and Philosophical Significance of Ayers Language, Truth and Logic
$129.99
Carcinoma of the Larynx and Hypopharynx
$109.00
Grundstze ordnungsmiger Verbindlichkeitsbilanzierung fr Arbeitsverhltnisse
$74.99
Handbuch der Familiendiagnostik
$69.99
Integrating Business Process Models and Rules
$54.99
Observing the Messier Objects with a Telescope
$39.99
