Word 2003 Document Automation with Vba, XML, Xslt, and Smart Documents
Scott Driza
₹4,134
Practical Aspects of Spin Model-Checking
6th International Workshop
by France) Spin'9 (1999 Toulouse, Dennis Dams
Springer Verlag · 1999 · Paperback
₹4,340
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,949 for this book (save ₹391).
9% off every book, up to ₹500 off per order.
About this book
The book is part of the Lecture notes in computer science series.
The book deals with SPIN (Computer file), Congresses, Verification and Computer software.
Book details
- ISBN-13
- 9783540664994
- ISBN-10
- 3540664998
- Authors
- France) Spin'9 (1999 Toulouse, Dennis Dams
- Publisher
- Springer Verlag
- Published
- 1999
- Series
- Lecture notes in computer science
- Edition
- 1999 ed.
- Binding
- Paperback
- Pages
- 282
- Language
- English
- Condition
- New
- Subject
- Coding & Programming
More in Coding & Programming
The Art of Computer Programming
Donald Knuth
₹2,764
PHP Oracle Web Development
Yuli Vasiliev
₹5,209
A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT))
Derek J. Andrews
₹3,425
The Functional Approach to Programming by Guy Cousineau – Functional Programming
Guy Cousineau, Michel Mauny, K. Callaway
₹5,476
Introduction to Computer Programming and Numerical Methods
Shu Liu, Xundong Jia
₹2,647
Computer Aided Verification
David L. Dill
₹5,622
Software
Peter Schnupp, Christiane Floyd
₹4,628
Structure and Interpretation of Computer Programs
Harold Abelson, Julie Sussman, Gerald Jay Sussman
₹74,574
Elements of Programming Style
Brian W. Kernighan, P. J. Plauger
₹17,377
System Software
Leland Beck
₹4,455
The Art of Immutable Architecture
Michael L. Perry
₹5,420