Tapsoft '89
Josep Diaz, Fernando Orejas
₹5,576
The Parametric Lambda Calculus
A Metamodel for Computation
by Simona Ronchi Della Rocca, Luca Paolini
Springer Nature · 2010
₹4,315
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
The Parametric Lambda Calculus: A Metamodel for Computation by Simona Ronchi Della Rocca & Luca Paolini is a 262-page book published by Springer Nature in 2010.
The book deals with Logic design, Computer science, Artificial intelligence and Calculus.
Book details
- ISBN-13
- 9783642057465
- ISBN-10
- 3642057462
- Authors
- Simona Ronchi Della Rocca, Luca Paolini
- Publisher
- Springer Nature
- Published
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Pages
- 262
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Fundamentals of Structured Program Design
Dan Robinson
₹3,898
Computer Aided Verification
Gregor Von Bochmann, David K. Probst
₹5,657
Abstraction, Reformulation, and Approximation
SARA 2007 (2007 Whistler, B.C.)
₹4,277
Functional and Constraint Logic Programming
Julio Marino
₹5,483
Fundamental Approaches to Software Engineering
Mauro Pezzè
₹5,722
Models in Software Engineering
Juergen Dingel, Arnor Solberg
₹5,609
Extreme Programming and Agile Methods - Xp/Agile Universe 2004
Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom
₹5,498
Spice
Ernst E. E. Hoefer, Horst Nielinger
₹3,508
Reliable Software Technologies -- Ada-Europe 2013
International Conference
₹3,610
Implementation and Application of Functional Languages
Hutchison, David - undifferentiated
₹4,082
Testing
Leonardo Bottaci, Gordon Fraser
₹5,499