Amazon cover image
Image from Amazon.com

Temporal logic of programs / Kroger, Fred

By: Contributor(s): Material type: TextTextLanguage: English Series: EATCS monographs on theoretical computer sciencePublication details: Birmingham: Springer-Verlag,, 1987.Description: 146pISBN:
  • 0387170308
Subject(s): LOC classification:
  • QA
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
წიგნი წიგნი უცხოური ლიტერატურის სამკითხველო დარბაზი 681.1 K-84 (Browse shelf(Opens below)) Available 2200

There are no comments on this title.

to post a comment.