서브메뉴
검색
Temporal logic of programs
Temporal logic of programs
Detailed Information
- Material Type
- 단행본
- ISBN
- 0387170308
- Callnumber
- 005.1 K93t
- Author
- Kroger, Fred
- Title/Author
- Temporal logic of programs / Fred Kroger.
- Publish Info
- Berlin : Springer, 1987.
- Material Info
- viii, 148 p. ; 25 cm.
- Price Info
- 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
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
