The Unified Modeling Language
Martin Schader, A. Korthaus
₹8,164
Logic Programming
Operational Semantics and Proof Theory
Cambridge University Press · 1992 · Hardcover
₹3,322
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
Logic Programming: Operational Semantics and Proof Theory by James H. Andrews is an 116-page hardcover edition published by Cambridge University Press in 1992. It belongs to the Distinguished dissertations in computer science series.
Its main subjects are Automatic theorem proving, Logic programming, Programming languages (Electronic computers) and Semantics.
Book details
- ISBN-13
- 9780521432191
- ISBN-10
- 0521432197
- Author
- James H. Andrews
- Publisher
- Cambridge University Press
- Published
- 1992
- Series
- Distinguished dissertations in computer science
- Binding
- Hardcover
- Pages
- 116
- Language
- English
- Condition
- New
- Subject
- Programming languages
More in Programming languages
Making Use of PHP
Ashok Appu
₹6,347
The Generic Development Language Deva
Matthias Weber, Martin Simons, Christine Lafontaine
₹3,752
Programming Perl 2e
Randal L. Schwartz, Stephen Potter, Tom Christiansen
₹4,133
Design and Implementation of Programming Languages
Williams, J. H.
₹3,165
Setting up Lamp
Eric Rosebrock, Eric Filson
₹4,019
Fundamentals of Computation Theory
Zoltan Esik
₹5,617
Building High Integrity Applications with SPARK
John W. McCormick, Peter C. Chapin
₹8,414
Java Precisely
Peter Sestoft
₹3,390
Programming Languages and Systems
Jacques Garrigue
₹4,272
Static Analysis
Francesco Logozzo, Manuel Fähndrich
₹4,239
Static Analysis
International Static Analysis Symposium (15th 2008 Valencia, Spain)
₹2,650