Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

C.R. Ramakrishnan & Jakob Rehof
    • €72.99
    • €72.99

Publisher Description

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

GENRE
Computing & Internet
RELEASED
2008
3 April
LANGUAGE
EN
English
LENGTH
536
Pages
PUBLISHER
Springer Berlin Heidelberg
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
11
MB