![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
This book constitutes the refereed proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, held in Warsaw, Poland, in April 2003. The 43 revised full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on bounded model checking and SAT-based methods, mu-calculus and temporal logics, verification of parameterized systems, abstractions and counterexamples, real-time and scheduling, security and cryptography, modules and compositional verification, symbolic state spaces and decision diagrams, performance and mobility, state space reductions, constraint solving and decision procedures, and testing and verification.
|
You may like...
Mathematical Visualization - Algorithms…
H.C. Hege, K. Polthier
Hardcover
R2,727
Discovery Miles 27 270
The Geometry of Hamilton and Lagrange…
R. Miron, Dragos Hrimiuc, …
Hardcover
R3,072
Discovery Miles 30 720
The Kybalion - Hermetic philosophy
William Walker Atkinson, "Three Initiates"
Hardcover
R502
Discovery Miles 5 020
Topics in Differential Geometry: A New…
Donal J. Hurley, Michael A. Vandyck
Hardcover
R1,508
Discovery Miles 15 080
Geometric and Harmonic Analysis on…
Ali Baklouti, Takaaki Nomura
Hardcover
R2,671
Discovery Miles 26 710
|