홈 / 책 찾기 / Model Checking

표지 준비 중

Model Checking

저자
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening
출판사
MIT Press
출간
2018
쪽수
424쪽
언어
영어
ISBN
9780262349444
상태
수량
배송

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

가격견적 요청

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

다른 판

Model Checking

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

가격 확인이 판 보기

Model Checking

MIT Press, 1999, ISBN 9780585385587

가격 확인이 판 보기

Model Checking

MIT Press, 1999, ISBN 9780262270458

가격 확인이 판 보기

Model Checking

The MIT Press, 1999, 양장(하드커버), ISBN 9780262032704

가격 확인이 판 보기