ISBN 9783540787990,Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Rs4573 Rs6587 31% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540787990
Check delivery information
 
ISBN 9783540787990
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540787990

ISBN-10 3540787992
Binding

Paperback

Number of Pages 536 Pages
Subject

Software engineering

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
Scroll