Extending Temporal Logic with Omega-Automata

Name: Extending Temporal Logic with Omega-Automata
Brand: LAP Lambert Academic Publishing
SKU: 9783838322063
Price: 41.89 GBP
Availability: OutOfStock
ISBN: 9783838322063

Nir Piterman author

Format:Paperback

Publisher:LAP Lambert Academic Publishing

Published:9th Jun '10

Currently unavailable, and unfortunately no date known when it will be back

Extending Temporal Logic with Omega-Automata cover

This paperback, "Extending Temporal Logic with Omega-Automata" from Nir Piterman, was published 9th June 2010 by LAP Lambert Academic Publishing.

ISBN: 9783838322063

Dimensions: 229mm x 152mm x 5mm

Weight: 141g

88 pages