홈 / 책 찾기 / Systems and Software Verification

Systems and Software Verification 표지

Systems and Software Verification 1 edition

Model-Checking Techniques and Tools

저자
B. Berard, M. Bidoit, A. Finkel
출판사
Springer
출간
August 9, 2001
쪽수
196쪽
제본
양장(하드커버)
언어
영어
ISBN
9783540415237
상태
수량
배송

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

가격견적 요청

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