Coordination Models and Languages
Alberto Lluch Lafuente, José Proença
₹4,242
Computer Aided Verification
6th International Conference
Springer · 1994 · Paperback
₹5,622
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
Computer Aided Verification: 6th International Conference by David L. Dill is a 489-page paperback edition published by Springer in 1994.
Topics covered include Applications of Computing and Computer Programming.
Book details
- ISBN-13
- 9783540581796
- ISBN-10
- 3540581790
- Author
- David L. Dill
- Publisher
- Springer
- Published
- 1994
- Binding
- Paperback
- Pages
- 489
- Language
- English
- Condition
- New
- Subject
- Computer programming
More in Computer programming
Principles and Practice of Constraint Programming - Cp'96
Eugene C. Freuder
₹5,674
Electromagnetic Simulation Using the FDTD Method
Dennis M. Sullivan
₹3,615
Methods of Programming
Dijkstra
₹6,681
Stack Frames
Giuseppe Di Cataldo
₹3,043
Using CP/M
P.E Gosling
₹3,915
The Nature of Code
Daniel Shiffman
₹3,989
Beginning Reactive Programming with Swift
Jesse Feiler
₹3,006
Coordination Models and Languages
José Proença Alberto Lluch Lafuente
₹4,755
Joe Celko's Thinking in Sets
Joe Celko
₹2,255
Low Level X Window Programming
Ross J. Maloney
₹4,508
Programming Interviews Exposed
Noah Kindler, Eric Giguere, John Mongan
₹2,537