Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
by
Mogavero, Fabio. author.
Title
:
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Author
:
Mogavero, Fabio. author.
ISBN
:
9789491216954
Physical Description
:
XVII, 149 p. 13 illus. online resource.
Series
:
Atlantis Studies in Computing, 3
Subject Term
:
Computer science.
Computer software.
Logic design.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 336496-1001 | ONLINE(336496.1) | | Elektronik Kütüphane |