홈 / 책 찾기 / 판 고르기

Temporal Verification of Reactive Systems

판 2개, 최신 판부터

Temporal Verification of Reactive Systems

Springer, 2014, 무선(페이퍼백), ISBN 9781461242239

가격 확인이 판 보기

Temporal Verification of Reactive Systems

Springer New York, 1995, [electronic resource] :, ISBN 9781461287018

가격 확인이 판 보기