홈 / 책 찾기 / Automatic verification of sequential inf…

Automatic verification of sequential infinite-state processes 표지

Automatic verification of sequential infinite-state processes

저자
Olaf Burkart
출판사
Springer
출간
1997
쪽수
163쪽
언어
영어
ISBN
9783540639824
상태
수량
배송

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

가격견적 요청

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

다른 판

Automatic Verification of Sequential Infinite-State Processes

Springer London, Limited, 2003, ISBN 9783540696780

가격 확인이 판 보기

Automatic verification of sequential infinite-state processes

Springer, 1997, ISBN 9783540601173

가격 확인이 판 보기