|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Kurt JensenPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 1st ed. Softcover of orig. ed. 1995 Dimensions: Width: 15.50cm , Height: 1.00cm , Length: 23.50cm Weight: 0.454kg ISBN: 9783642082009ISBN 10: 3642082009 Pages: 177 Publication Date: 01 December 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsContents Overview: Full Occurrence Graphs.- Occurrence Graphs with Equivalence Classes.- Occurrence Graphs with Symmetries.- Invariants.- Timed CP-nets.- References.- Index.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |