Formal Techniques for Distributed Systems
John Hatcliff, Elena Zucca
₹5,508
Partial Evaluation
DIKU 1998 International Summer School
by John Hatcliff, Torben Mogensen, Peter Thiemann
Springer · 2000 · Paperback
₹5,598
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 in 2000, Partial Evaluation: DIKU 1998 International Summer School by John Hatcliff, Torben Mogensen & others runs to 433 pages in paperback.
Its main subjects are Evaluation, Computer software, Computer Programming and Software Quality Control.
Book details
- ISBN-13
- 9783540667100
- ISBN-10
- 3540667105
- Authors
- John Hatcliff, Torben Mogensen, Peter Thiemann
- Publisher
- Springer
- Published
- 2000
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 433
- Language
- English
- Condition
- New
- Subject
- Computer programming
More by John Hatcliff and related titles
Temporal Logic
Dov M. Gabbay, Hans J. Ohlbach
₹5,251
Inductive Logic Programming
Saso Dzeroski, Peter a. Flach
₹5,532
Learning to Program with MATLAB
Craig S. Lent
₹3,905
Computer Programming and Formal Systems
Lev D. Beklemishev
₹2,704
LINQ Quickly
Satheesh N. Kumar
₹2,965
Hackers
Steven Levy
₹2,354
Logic Programming '86
Eiiti Wada
₹5,468
How we Test Software at Microsoft
Bj Rollison, Ken Johnston, Alan Page
₹1,968
Discipline of Programming, A
E. Dijkstra
₹9,559
NET Programming
A. Russell Jones, Mike Gunderloy
₹4,063
Categories and Computer Science by R. F. C. Walters – Category Theory Textbook
R. F. C. Walters, Richard F. Walters
₹5,287