신경주학교 도서관

본문 바로가기
탑 메뉴 바로가기
주 메뉴 바로가기
하단 바로가기

Collection

Selected Print Select Export to Excel целое

1

Temporal logic of programs

Temporal logic of programs

Kroger, Fred, 005.1-K93t-안진홍 | Springer | 1987 005.1-K93t-안진홍,

Status Info

Status Info
등록번호	별치/청구기호	소장처	대출여부	대출정보
W054836	안진홍 - 005.1 K93t	사회과학자료실(관광학관 지하 1층)	대출가능

1

Сортировка

Очистить

Формат

단행본 (1)

Автор

Kroger, Fred (1+)

Издатель

Springer (1+)

Год

1987 (1)

Язык

eng (1)