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

홈 / 책 찾기 / Programmverifikation

Programmverifikation 표지

Programmverifikation 1 edition

Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)

저자
Krzysztof R. Apt, Ernst-Rüdiger Olderog
출판사
Springer
출간
April 24, 1996
쪽수
258쪽
제본
무선(페이퍼백)
언어
독일어
ISBN
9783540574798
상태
수량
배송

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

가격견적 요청

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

제목Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)
판1 edition
저자Krzysztof R. Apt, Ernst-Rüdiger Olderog
출판사Springer
출간April 24, 1996
쪽수258쪽
제본무선(페이퍼백)
언어독일어
ISBN9783540574798