Sign In

My Library

Limit search to available items
Book Cover
Title Logics in computer science [electronic resource] : a study on extensions of temporal and strategic logics / Fabio Mogavero.
Publication Info. [Paris, France] : Atlantis, c2013.

Location Call No. Status Notes
 Libraries Electronic Books  ELECTRONIC BOOKS-DDA    AVAIL. ONLINE
Description 1 online resource.
Series Atlantis studies in computing ; v. 3.
Bibliography Includes bibliographical references and index.
Reproduction Electronic reproduction. Perth, W.A. Available via World Wide Web.
Note Description based on online resource; title from digital title page (viewed on Aug. 21, 2013).
Subject Computer logic.
Added Author Ebooks Corporation
Related To Print version: Mogavero, Fabio, author. Logics in computer science 9789491216947
ISBN 9789491216954 (electronic bk.)
9491216953 (electronic bk.)
OCLC # EBC1399104
View Shelf for Similar Items