Word 2003 Document Automation with Vba, XML, Xslt, and Smart Documents
Scott Driza
₹4,134
Verifying Concurrent Processes Using Temporal Logic
Springer · 1982
₹5,481
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
Verifying Concurrent Processes Using Temporal Logic by B. T. Hailpern is a book published by Springer in 1982.
Topics covered include Computer programming and Computer science.
Book details
- ISBN-13
- 9783540112051
- ISBN-10
- 3540112057
- Author
- B. T. Hailpern
- Publisher
- Springer
- Published
- 1982
- Language
- English
- Condition
- New
- Subject
- Computer programming
More in Computer programming
Software Evolution and Maintenance
Priyadarshi Tripathy, Kshirasagar Naik
₹12,112
Mathematics of Program Construction
C. C. Morgan, Richard S. Bird
₹2,830
Inductive Logic Programming
James Cussens, Alan Frisch
₹5,510
Lambda-calculus, Combinators and Functional Programming
G. E. Revesz
₹3,850
What Is Coding?
Nikole Brooks Bethea
₹998
Reactive with ClojureScript Recipes
Nicolas Modrzyk
₹5,102
Programming and Metaprogramming in the Human Biocomputer
John C. Lilly
₹5,972
Methods of Programming
Dijkstra
₹6,681
Programming in Modula-2
Niklaus Wirth
₹2,890
Recent Trends in Data Type Specification
Hartmut Ehrig, Fernando Orejas
₹5,554
Code Generation with Templates
B. J. Arnoldus, A. Serebrenik, M. G. J. Van Den Brand, J. J. Brunekreef
₹8,106