Typed Lambda Calculi and Applications
Luke Ong
₹5,517
Foundations of Software Science and Computational Structures
13th International Conference
by Luke Ong
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2010
₹5,803
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
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2010, Foundations of Software Science and Computational Structures: 13th International Conference by Luke Ong runs to 389 pages.
Its main subjects are Logic design, Computer science, Software engineering and Computer software.
Book details
- ISBN-13
- 9783642120312
- ISBN-10
- 3642120318
- Author
- Luke Ong
- Published
- 2010
- Edition
- Illustrated
- Pages
- 389
- 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
Fst Tcs 2003
Paritosh K. Pandya, Jaikumar Radhakrishnan
₹5,605
Logic Synthesis for Asynchronous Controllers and Interfaces
Luciano Lavagno, M. Kishinevsky, A. Kondratyev, Alex Yakovlev, J. Cortadella
₹7,727
Fundamental Approaches to Software Engineering
Mauro Pezzè
₹5,722
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Formal Methods
Jim Davies, Leila Silva, Adenilso Simao
₹5,534
Relational and Algebraic Methods in Computer Science
Harrie De Swart
₹5,576
Interactive Systems
Fabio Paternó
₹4,256
Category Theory and Computer Programming
David Pitt, Samson Abramsky, Axel Poigne
₹5,639
Hybrid Systems
Rajeev Alur
₹8,177
Logic for Programming, Artificial Intelligence, and Reasoning
Christian G. Fermüller, Andrei Voronkov
₹4,854