Start Over Save to list Export MARC Display MelCat
book jacket

Find in WorldCat
View Library Guide - Computer Science
Author Mogavero, Fabio, author.
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.)
Permanent url for this catalog record: