로그인주문 조회장바구니기업 기관 구매

홈 / 책 찾기 / 판 고르기

Verification of sequential and concurrent programs

판 2개, 최신 판부터

Verification of sequential and concurrent programs

Springer-Verlag, 1997, ISBN 9780387948966

가격 확인이 판 보기

Verification of sequential and concurrent programs

Springer-Verlag, 1991, ISBN 9780387975320

가격 확인이 판 보기