홈 / 책 찾기 / Deductive Software Verification - the Ke…

표지 준비 중

Deductive Software Verification - the KeY Book

From Theory to Practice

저자
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel
출판사
Springer International Publishing AG
출간
2016
쪽수
702쪽
언어
영어
ISBN
9783319498119
상태
수량
배송

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

가격견적 요청

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

다른 판

Deductive Software Verification - the KeY Book

Springer, 2017, ISBN 9783319498126

가격 확인이 판 보기