Formal Methods
David Naumann
₹3,647
Unifying Theories of Programming
5th International Symposium
Springer-Verlag New York Inc · 2015 · Paperback
₹3,157
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-Verlag New York Inc in 2015, Unifying Theories of Programming: 5th International Symposium by David Naumann runs to 152 pages in paperback.
Topics covered include Computer programming.
Subjects
Book details
- ISBN-13
- 9783319148052
- ISBN-10
- 3319148052
- Author
- David Naumann
- Publisher
- Springer-Verlag New York Inc
- Published
- 2015
- Edition
- 2015 ed.
- Binding
- Paperback
- Pages
- 152
- Language
- English
- Condition
- New
- Subject
- Computer programming
More by David Naumann and related titles
Programming Concepts and Methods Procomet 98
David Gries
₹15,365
Reflections on Programming Systems
Liesbeth De Mol, Giuseppe Primiero
₹10,795
Current Trends in Programming Methodology
Englewood
₹5,712
Lumen Programming Guide
Paul Redmond
₹4,246
Using OpenMP-The Next Step
Eric Stotzer, Christian Terboven, Ruud Van Der Pas
₹5,898
Automatic Verification of Sequential Infinite-state Processes
Olaf Burkart
₹5,103
Constraints in Computational Logics
Jean-Pierre Jouannaud
₹5,569
Introduction to Computer Programming and Numerical Methods
Shu Liu, Xundong Jia
₹2,647
Swebok
Pierre Bourque, Alain Abran, Robert Dupuis, James W. Moore
₹5,078
Understanding Coding with JavaScript
Michael Sabatino
₹2,711
Basic Data Structures and Program Statements
Lei Feng, Qiguang Miao, Xingni Zhou
₹4,507