홈 / 책 찾기 / 25 Years of Model Checking

표지 준비 중

25 Years of Model Checking

History, Achievements, Perspectives

저자
Orna Grumberg, Helmut Veith
출판사
Springer London, Limited
출간
2008
쪽수
234쪽
언어
영어
ISBN
9783540698500
상태
수량
배송

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

가격견적 요청

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

제목25 Years of Model Checking: History, Achievements, Perspectives
저자Orna Grumberg, Helmut Veith
출판사Springer London, Limited
출간2008
쪽수234쪽
언어영어
ISBN9783540698500