홈 / 책 찾기 / 판 고르기

Deductive Software Verification - the KeY Book

판 2개, 최신 판부터

Deductive Software Verification - the KeY Book

Springer, 2017, ISBN 9783319498126

가격 확인이 판 보기

Deductive Software Verification - the KeY Book

Springer International Publishing AG, 2016, ISBN 9783319498119

가격 확인이 판 보기