홈 / 책 찾기 / 판 고르기

Symbolic Model Checking

판 2개, 최신 판부터

Symbolic Model Checking

Springer, 2011, 무선(페이퍼백), ISBN 9781461531913

가격 확인이 판 보기

Symbolic Model Checking

Springer US, 1993, [electronic resource] /, ISBN 9781461363996

가격 확인이 판 보기