홈 / 책 찾기 / 판 고르기

Verification, Model Checking, and Abstract Interpretation

판 3개, 최신 판부터

Verification, Model Checking, and Abstract Interpretation

Springer, 2008, 무선(페이퍼백), ISBN 9783540806752

가격 확인이 판 보기

Verification, Model Checking, and Abstract Interpretation

Springer London, Limited, 2005, ISBN 9783540305798

가격 확인이 판 보기

Verification, Model Checking, and Abstract Interpretation

Springer, 2005, 무선(페이퍼백), ISBN 9783540242970

가격 확인이 판 보기