Temporal Logic in Specification
Howard Barringer, Amir Pnueli
₹4,040
Runtime Verification
First International Conference
by Howard Barringer, Ylies Falcone, Bernd Finkbeiner
Springer · 2010
₹5,647
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
Runtime Verification: First International Conference is written by Howard Barringer, Ylies Falcone & others. This edition from Springer (2010).
Its main subjects are Logic design, Computer science, Software engineering and Computer software.
Book details
- ISBN-13
- 9783642166112
- ISBN-10
- 3642166113
- Authors
- Howard Barringer, Ylies Falcone, Bernd Finkbeiner
- Publisher
- Springer
- Published
- 2010
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Howard Barringer and related titles
A Survey of Verification Techniques for Parallel Programs
Howard Barringer
₹2,265
Fundamentals of Structured Program Design
Dan Robinson
₹3,898
Algebraic Foundations in Computer Science
Werner Kuich, George Rahonis
₹5,576
Practical Programmable Circuits
James D. Broesch
₹3,982
Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
₹5,595
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Soren Prehn, Hans Toetenel
₹5,383
Stacs 93
Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
₹4,216
Fudamentals of Digital Logic with VHDL Design
Stephen Brown, Zvonko Vranesic
₹3,115
Model Checking Software
Alex Groce, Madanlal Musuvathi
₹5,701
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593