Recent Trends in Data Type Specification
Donald Sannella
₹5,510
Programming Languages and Systems - ESOP '94
5th European Symposium on Programming
Springer · 1994 · Paperback
₹5,642
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming is written by Donald Sannella. This paperback edition from Springer (1994) has 516 pages. It belongs to the Lecture notes in computer science series.
The book deals with Software engineering, Systems analysis & design, Logic Design and Programming languages (Electro.
Book details
- ISBN-13
- 9783540578802
- ISBN-10
- 3540578803
- Author
- Donald Sannella
- Publisher
- Springer
- Published
- 1994
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 516
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Donald Sannella and related titles
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Automated Technology for Verification and Analysis
Farn Wang
₹4,536
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog
₹2,595
Logic and Its Applications
Mohua Banerjee, Anil Seth
₹5,499
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference
Hartmut Ehrig, Christiane Floyd, Maurice Nivat
₹4,524
Hybrid Systems
Nancy Lynch, Bruce Krogh
₹5,783
Reachability Problems
Giorgio Delzanno, Igor Potapov
₹5,713
Hardware and Software
Sharon Barner, Ian Harris, Daniel Kroening
₹5,476
Software Composition
SC 2008 (2008 Budapest, Hungary)
₹4,255
Types in Compilation
Robert Harper
₹5,562
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi
₹5,521