Library of Tbilisi State Medical University catalog

Normal view MARC view ISBD view

Kroger, Fred

Temporal logic of programs / Kroger, Fred - Birmingham: Springer-Verlag,, 1987. - 146p. - EATCS monographs on theoretical computer science .

ISBN: 0387170308

Subjects--Topical Terms:
INFORMATION TECHNOLOGY

Subjects--Index Terms: საინფორმაციო ტექნოლოგია

LC Class. No.: QA

Universal Decimal Class. No.: 681.1 / K-84

Place hold
Print
Add to your cart (remove)
Save record
More searches