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
Anaesthesia, Pain, Intensive Care and Emergency Medicine A.P.I.C.E
$109.99
Going Private in Deutschland
$74.99
Sadie by Courtney Summers
$13.00
Level Crossing Methods in Stochastic Models
$199.99
Illuminating How Identities, Stereotypes and Inequalities Matter through Gender Studies
$109.99
Dialektik und Ethik
$29.99
Combinatoire et Representation du Groupe Symetrique
$34.99
Forces in Scanning Probe Methods
$259.00
Complex Semisimple Lie Algebras
$54.99
Future Work (Expanded and Updated)
$37.99
Immunologische und klinisch-diagnostische Studien an tumor-assoziierten Antigenen
$44.99
Banker, nutzt das feminine Potenzial!
$39.99
Mathematik fr Biologen
$79.99
Electrical Biosignals in Biomedical Engineering
$99.00
Abductive Inference Models for Diagnostic Problem-Solving
$109.99
The Foundations of Phenomenological Psychotherapy
$129.99
The Exploitation of Evolving Resources
$54.99
Making the Compelling Business Case
$69.99
Lung Disease Associated with Rheumatoid Arthritis
$169.99
Professionelle Entscheidungen im Sportunterricht
$69.99
Constrained Deformation of Materials
$129.00
Energy Resilience and Climate Protection
$64.99
Neotyphodium/Grass Interactions
$169.00
The Palgrave Handbook of Agricultural and Rural Development in Africa
$189.00
A Poetics of Global Solidarity
$54.99
GWAI-91 15. Fachtagung fr Knstliche Intelligenz
$59.99
Experimental Techniques in Host-Plant Resistance
$84.99
Low Countries in Early Modern Times
$74.99
Research into Childhood-Onset Diabetes
$79.99
Panpsychism and the Emergence of Consciousness
$59.99
Eigenmittelunterlegung von Zinsrisiken bei Kreditinstituten
$49.99
Strategisches Nachhaltigkeitsmanagement in der pharmazeutischen Industrie
$89.99
Computational Physics
$109.99
A Robert Louis Stevenson Companion
$84.99
Sustainable Supply Chains
$119.00
Image Analysis and Recognition
$39.99
Europe and Irans Nuclear Crisis
$179.99
The Book of GENESIS
$84.99
Monomial Ideals
$99.99
Friendship, Love, and Hip Hop
$79.99
