Typed Lambda Calculi and Applications
Martin Hofmann
₹5,613
Foundations of Software Science and Computational Structures
14th International Conference
Springer · 2011
₹5,697
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
Foundations of Software Science and Computational Structures: 14th International Conference is written by Martin Hofmann. This edition from Springer (2011).
The book deals with Logic design, Computer science, Software engineering and System analysis.
Book details
- ISBN-13
- 9783642198045
- ISBN-10
- 364219804X
- Author
- Martin Hofmann
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Martin Hofmann and related titles
A Holistic Approach to Process Optimisation
Martin Hofmann
₹4,961
Automatentheorie Und Logik
Martin Hofmann, Martin Lange
₹3,387
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou, Fernando Orejas
₹5,627
Theory of Digital Automata
Valery Lahno, Mykola Karpinskyy, Bohdan Borowik, Oleksandr Petrov
₹8,178
Fundamentals of Structured Program Design
Dan Robinson
₹3,898
Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Foundation of Software Science and Computation Structures
FOSSACS 2000 (2000 Berlin, Germany)
₹4,246
Verification, Induction, Termination Analysis
Simon Siegler, Nathan Wasser
₹5,461
Lectures on Logic and Computation
Nick Bezhanishvili, Valentin Goranko
₹4,977
Lisp, Lore, and Logic
W. Richard Stark
₹6,981