-60% OFFTheoretical Aspects of Computer Software (English, Martin Abadi | Takayasu Ito)
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 | 9783540633884 |
| ISBN-10 | 354063388X |
| Author | Martin Abadi | Takayasu Ito |
Product Description
Here on GlowMirror, you'll find Theoretical Aspects of Computer Software filed under Computers & Internet -- everything you need to know is covered below.
About the Book
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite…
ISBN: 9783540633884
Book Insights
What You'll Learn
- ·Fundamental and advanced concepts in Theoretical Aspects of Computer Software
- ·Code examples, algorithms, and implementation patterns
- ·Best practices and industry-relevant skills
Who Should Read This
Software developers, IT professionals, computer science students, and tech enthusiasts.
Key Highlights
- ·Also included are seven invited papers by internationally leading scientists
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy

![Practical Hacking Techniques and Countermeasures [With CDROM] (English, Mark D. Spivey)](/_next/image?url=https%3A%2F%2Fglowmirror.in%2Fimages%2Fproducts%2F9780849370571.webp&w=3840&q=75)









