Foundations of Software Science and Computational Structures
Luke Ong
₹5,803
Typed Lambda Calculi and Applications
10th International Conference
by Luke Ong
Springer · 2011
₹5,517
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
Typed Lambda Calculi and Applications: 10th International Conference is written by Luke Ong. This edition from Springer (2011).
The book deals with Logic design, Symbolic and mathematical Logic, Computer science and Data processing.
Book details
- ISBN-13
- 9783642216909
- ISBN-10
- 3642216900
- Author
- Luke Ong
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Luke Ong and related titles
Logic, Language, Information, and Computation
Luke Ong, Ruy de Queiroz
₹5,549
Software Composition
SC 2008 (2008 Budapest, Hungary)
₹4,255
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Digital Design
M. Morris Mano, Michael Ciletti
₹4,665
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, Samson Abramsky
₹4,297
Verification, Induction, Termination Analysis
Simon Siegler, Nathan Wasser
₹5,461
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Formal Methods at the Crossroads
Bernhard K. Aichernig
₹4,256
Theory and Practice of Model Transformations
Jordi Cabot, Eelco Visser
₹5,553
Functional and Constraint Logic Programming
Julio Marino
₹5,483
Functional and Logic Programming
Fuji International Symposium on Functional and Logic Programming (9th 2008 Ise-shi, Japan)
₹4,279