홈 / 책 찾기 / 판 고르기

Semantics and verification in process algebras with data and timing

판 1개, 최신 판부터

Semantics and verification in process algebras with data and timing

2003, ISBN 9789038606729

가격 확인이 판 보기