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
Logic Based Program Synthesis and Transformation
$54.99
The Modern Witchcraft Guide to Magickal Herbs- Your Complete Guide to the Hidden Powers of Herbs by Judy Ann Nock
$15.99
Site, Dance and Body
$119.99
Reference Coordinate Systems for Earth Dynamics
$39.99
Consumption and Well-Being in the Material World
$109.99
Tumor Immune Microenvironment in Cancer Progression and Cancer Therapy
$199.99
Baggy Pants Comedy
$54.99
Microscopy of Semiconducting Materials
$219.99
Advanced Time-Correlated Single Photon Counting Techniques
$129.00
Lifelong Learning - Signs, Discourses, Practices
$109.99
George Boole
$39.99
Metamathematics of First-Order Arithmetic
$139.99
Ishmael Reed And The New Black Aesthetic Critics
$19.99
Strategic Management Control
$39.99
National Geographic Kids: Explore My World: Dolphins
$3.71
SCO UNIX/XENIX
$59.99
Search for the Decay K_L ^0\nu\bar{\nu} at the J-PARC KOTO Experiment
$109.99
Neuro-Oncology
$39.99
Advances in Advertising Research XIV
$149.00
Statisticians of the Centuries
$109.99
Corporate Finance
$39.00
Refractive Surgery for High Myopia
$119.99
Retinal Vascular Disease
$149.00
Terrestrial Slugs
$219.99
Survival of the European (Dis) Union
$79.99
Making Sense of Reification
$169.99
Bewertung von Termingeschften auf Elektrizitt
$74.99
Effizienzkonzepte und nutzentheoretische Anstze zur Lsung stochastischer Entscheidungsmodelle
$59.99
Ecological Succession on Fallowed Shifting Cultivation Fields
$39.99
Histologischer Atlas von Zupfprparaten unfixierter menschlicher Organe und Gewebe
$59.99
Management des Schwerverletzten
$229.99
Zur Kenntnis der Kupfer-Zinklegierungen
$59.99
Molecular Immunology
$54.99
Ernhrung in der Altenbetreuung
$24.99
Left Main Coronary Artery Disease
$54.99
Relativity and the Nature of Spacetime
$49.99
Biophysical Aspects of Coherence and Biological Order
$109.99
Symposium on Light-Coagulation
$54.99
The Impact of Digitalization on Sports Broadcasting
$99.99
Application and Theory of Petri Nets 1996
$84.99
