서브메뉴
검색
Temporal logic of programs
Temporal logic of programs
상세정보
- 자료유형
- 단행본
- ISBN
- 0387170308
- 청구기호
- 005.1 K93t
- 저자명
- Kroger, Fred
- 서명/저자
- Temporal logic of programs / Fred Kroger.
- 발행사항
- Berlin : Springer, 1987.
- 형태사항
- viii, 148 p. ; 25 cm.
- 가격
- 15000
- Control Number
- kjul:60013940
MARC
008030715s1987 us eng■020 ▼a0387170308
■090 ▼a005.1▼bK93t
■1001 ▼aKroger, Fred
■24510▼aTemporal logic of programs▼dFred Kroger.
■260 ▼aBerlin▼bSpringer▼c1987.
■300 ▼aviii, 148 p.▼c25 cm.
■9500 ▼b15000
