홈 / 책 찾기 / 판 고르기

Semantik und Programmverifikation

판 1개, 최신 판부터

Semantik und Programmverifikation

Vieweg+Teubner Verlag, 2012, 무선(페이퍼백), ISBN 9783519003366

가격 확인이 판 보기