
Formal Program Development (English, Bernhard Möller | Helmut Partsch | Steve Schuman)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540574996 |
| ISBN-10 | 3540574999 |
| Author | Bernhard Möller | Helmut Partsch | Steve Schuman |
Product Description
Here on GlowMirror, you'll find Formal Program Development filed under Springer -- everything you need to know is covered below.
About the Book
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 program…
ISBN: 9783540574996
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Formal Program Development
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Students and professionals interested in Springer, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





