홈 / 책 찾기 / Model Checking

Model Checking 표지

Model Checking

저자
Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
출판사
The MIT Press
출간
January 7, 1999
쪽수
314쪽
제본
양장(하드커버)
언어
영어
ISBN
9780262032704
상태
수량
배송

해외에서 들여옵니다. 보통 2~3주, 지금 주문하시면 11월 17일에서 11월 24일 사이 도착 예상

가격견적 요청

담아 두시면 24시간 안에 가격을 알려 드립니다. 가격을 보시고 결제하시면 됩니다.

다른 판

Model Checking

MIT Press, 2018, ISBN 9780262349444

가격 확인이 판 보기

Model Checking

The MIT Press, 2018, 양장(하드커버), ISBN 9780262038836

가격 확인이 판 보기

Model Checking

MIT Press, 1999, ISBN 9780585385587

가격 확인이 판 보기

Model Checking

MIT Press, 1999, ISBN 9780262270458

가격 확인이 판 보기