An edition of Temporal logic and state systems (2008)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

1 edition

by and

Cover of: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) by Fred Kröger, Stephan Merz, Fred Kröger, Stephan Merz
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
September 9, 2021 | History
Edit
An edition of Temporal logic and state systems (2008)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

1 edition

by and

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
400

Check nearby libraries

Buy this book

Subjects

Tense (Logic), Symbolic and mathematical Logic, Time, Logic, symbolic and mathematical
Edition Availability
Cover of: Temporal Logic and State Systems
Temporal Logic and State Systems
Nov 25, 2010, Springer
paperback
Cover of: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
April 2008, Springer
Hardcover in English - 1 edition
Cover of: Temporal Logic and State Systems
Temporal Logic and State Systems
2008, Springer London, Limited
in English

Add another edition?

Book Details

Classifications

Library of Congress
BC199.T4 K76 2008, QA76.7-76.73QA76.76.

The Physical Object

Format
Hardcover
Number of pages
400

Edition Identifiers

Open Library
OL12809973M
ISBN 10
3540674012
ISBN 13
9783540674016
LCCN
2008921857
LibraryThing
6053738
Goodreads
3312629

Work Identifiers

Work ID
OL18774151W

Source records

amazon.com record
Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
September 9, 2021 Edited by ImportBot import existing book
February 13, 2019 Created by MARC Bot import existing book