Library of Tbilisi State Medical University

Your cart is empty.
Normal view MARC view ISBD view

Temporal logic of programs

by Kroger, Fred
Additional authors: Kroger, Fred -- author
Series: EATCS monographs on theoretical computer science Published by : Springer-Verlag,, (Birmingham:) Physical details: 146p. ISBN:0387170308.
Subject(s): INFORMATION TECHNOLOGY | საინფორმაციო ტექნოლოგია
Year: 1987
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
Item type Current location Call number Status Date due
წიგნი წიგნი უცხოური ლიტერატურის სამკითხველო დარბაზი
681.1 K-84 (Browse shelf) Available

There are no comments for this item.

Log in to your account to post a comment.