
Logic at Botik '89 (English, Albert R. Meyer | Michael A. Taitslin)
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 | 9783540512370 |
| ISBN-10 | 3540512373 |
| Author | Albert R. Meyer | Michael A. Taitslin |
Product Description
Here on GlowMirror, you'll find Logic at Botik '89 filed under Springer -- everything you need to know is covered below.
About the Book
The present volume contains the proceedings of Logic at Botik '89 , a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs…
ISBN: 9783540512370
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Logic at Botik '89
- ·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





