Theoretical Computer Science
Josep Diaz, Ivan Lanese, Davide Sangiorgi
₹4,355
Tapsoft '89
proceedings of the International Joint Conference on Theory and
by Josep Diaz, Fernando Orejas
Springer · 1989 · Paperback
₹5,574
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
Tapsoft '89: proceedings of the International Joint Conference on Theory and by Josep Diaz & Fernando Orejas is a 404-page paperback edition published by Springer in 1989.
Its main subjects are Development, Congresses, Computer software and Mathematical Logic and Formal Languages.
Book details
- ISBN-13
- 9783540509400
- ISBN-10
- 3540509402
- Authors
- Josep Diaz, Fernando Orejas
- Publisher
- Springer
- Published
- 1989
- Binding
- Paperback
- Pages
- 404
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Josep Diaz and related titles
Automata, Languages and Programming
Josep Diaz, Juhani Karhumäki, Arto Lepistö
₹4,895
Paradigms for Fast Parallel Approximability
Josep Diaz, Maria Serna, Paul Spirakis
₹4,622
Algorithms and Complexity
Josep Diaz, Tiziana Calamoneri
₹5,587
Tapsoft '89
Josep Diaz, Fernando Orejas
₹5,576
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
₹4,241
Recent Advances in Constraints
ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th 2006 Caparica, Portugal)
₹4,184
Advanced Fpga Design
Steve Kilts
₹12,408
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Quality of Software Architectures Models and Architectures
Hutchison, David - undifferentiated
₹4,263
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,271
Verification, Model Checking, and Abstract Interpretation
VMCAI 2010 (2010 Madrid, Spain)
₹4,285