|
Books > Computing & IT > General theory of computing > Systems analysis & design
|
Buy Now
Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Paperback, 1995 ed.)
Loot Price: R1,569
Discovery Miles 15 690
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Paperback, 1995 ed.)
Series: Lecture Notes in Computer Science, 1019
Expected to ship within 10 - 15 working days
|
This book presents 12 revised refereed papers selected as the best
from 32 submissions for the First International Workshop on Tools
and Algorithms for the Construction and Analysis of Systems, TACAS
'95, held in Aarhus, Denmark, in May 1995.
The workshop brought together 46 researchers interested in the
development and application of tools and algorithms for
specification, verification, analysis, and construction of
distributed systems. The papers included in the book are devoted to
refinement-based and compositional verification, construction
techniques, analysis and verification via theorem proving, process
algebras, temporal and modal logics, techniques for real-time,
hybrid and probabilistic systems, and value-passing systems.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
