Functional and Constraint Logic Programming
Santiago Escobar
₹5,537
Concrete Semantics
With Isabelle/Hol
by Gerwin Klein, Tobias Nipkow
Springer-Nature New York Inc · 2014
₹6,228
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-Nature New York Inc in 2014, Concrete Semantics: With Isabelle/Hol by Gerwin Klein & Tobias Nipkow runs to 298 pages.
Its main subjects are Computer science, Logic design, Automatic theorem proving and Logics and Meanings of Programs.
Book details
- ISBN-13
- 9783319105413
- ISBN-10
- 3319105418
- Authors
- Gerwin Klein, Tobias Nipkow
- Publisher
- Springer-Nature New York Inc
- Published
- 2014
- Edition
- 2014 ed.
- Pages
- 298
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Model Checking Software
Jaco Van Der Pol, Michael Weber
₹5,542
Unifying Theories of Programming
Shengchao Qin
₹5,525
Current Trends in Concurrency
Jacobus W. De Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
₹4,955
Csl '87
Egon Börger, Hans Kleine Büning, Michael M. Richter
₹5,551
Formal Approaches to Agent-Based Systems
) Faabs 200 (2000 Greenbelt
₹1,490
Relational and Algebraic Methods in Computer Science
Harrie De Swart
₹5,576
Algebraic Methodology and Software Technology
Armando M. Haeberer
₹5,649
Frontiers of Combining Systems
Cesare Tinelli, Viorica Sofronie-Stokkermans
₹5,718
Theory and Practice of Model Transformations
Jordi Cabot, Eelco Visser
₹5,553
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Caap '83
G. Ausiello, M. Protasi
₹5,649