An edition of Temporal logic and state systems (2008)

Temporal Logic and State Systems

by and

Cover of: Temporal Logic and State Systems by Fred Kröger, Stephan Merz, Fred Kröger, Stephan Merz
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 26, 2022 | History
Edit
An edition of Temporal logic and state systems (2008)

Temporal Logic and State Systems

by and

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

Publish Date
Publisher
Springer
Pages
448

Check nearby libraries

Buy this book

Subjects

Tense (Logic), Symbolic and mathematical Logic, Time, Logic, symbolic and mathematical

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Temporal Logic and State Systems
Temporal Logic and State Systems
Nov 25, 2010, Springer
paperback
  • Not in Library
Libraries near you: WorldCat
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
Libraries near you: WorldCat
Cover of: Temporal Logic and State Systems
Temporal Logic and State Systems
2008, Springer London, Limited
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

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

Classifications

Library of Congress
QA76.76.C65

The Physical Object

Format
paperback
Number of pages
448

ID Numbers

Open Library
OL28134258M
ISBN 10
3642086802
ISBN 13
9783642086809

Source records

amazon.com record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 26, 2022 Edited by ImportBot import existing book
May 24, 2020 Created by ImportBot Imported from amazon.com record