Logic Based Program Synthesis and Transformation
Maurice Bruynooghe
₹5,496
Theoretical Aspects of Computer Software
Third International Symposium
by Martin Abadi, Takayasu Ito
Springer · 1997 · Paperback
₹4,684
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
Theoretical Aspects of Computer Software: Third International Symposium by Martin Abadi & Takayasu Ito is a 638-page paperback edition published by Springer in 1997. It belongs to the Lecture notes in computer science series.
Topics covered include Congresses, Computer software, Computer science and Software engineering.
Book details
- ISBN-13
- 9783540633884
- ISBN-10
- 354063388X
- Authors
- Martin Abadi, Takayasu Ito
- Publisher
- Springer
- Published
- 1997
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 638
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Models in Software Engineering
Sudipto Ghosh
₹5,573
Stacs 86
B. Monien, G. Vidal-Naquet
₹3,966
Constraints in Computational Logics
Hubert Comon, Claude Marche, Ralf Treinen
₹3,749
Unifying Theories of Programming
Andrew Butterfield
₹5,525
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, Samson Abramsky
₹4,297
Frontiers of Combining Systems
Cesare Tinelli, Viorica Sofronie-Stokkermans
₹5,718
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
₹5,481
Duration Calculus
Michael R. Hansen, Chaochen Zhou
₹8,292
Logic Programming and Databases
Georg Gottlob, Letizia Tanca, Stefano Ceri
₹5,833
Formal Methods for Components and Objects
Frank S. de Boer
₹6,195