홈 / 책 찾기 / 판 고르기

Automatic Verification of Sequential Infinite-State Processes

판 3개, 최신 판부터

Automatic Verification of Sequential Infinite-State Processes

Springer London, Limited, 2003, ISBN 9783540696780

가격 확인이 판 보기

Automatic verification of sequential infinite-state processes

Springer, 1997, ISBN 9783540601173

가격 확인이 판 보기

Automatic verification of sequential infinite-state processes

Springer, 1997, ISBN 9783540639824

가격 확인이 판 보기