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
    • US$89.99
    • US$89.99

출판사 설명

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

장르
컴퓨터 및 인터넷
출시일
2008년
4월 3일
언어
EN
영어
길이
536
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
11
MB

비슷한 책 더 보기

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2008년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2010년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2007년
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
2009년
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2011년
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2008년