Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Transactions on Petri Nets and Other Models of Con...

Transactions on Petri Nets and Other Models of Concurrency VIII

Transactions on Petri Nets and Other Models of Concurrency VIII( )
Editor: Koutny, Maciej
van der Aalst, Wil M. P.
Yakovlev, Alex
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-642-40464-1
Publication Date:Aug 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $98.00
Book Description:

This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications.

Book Details
Pages:203
Detailed Subjects: Mathematics / Discrete Mathematics
Computers / Systems Architecture / Distributed Systems & Computing
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.183 Inches
Book Weight:0.768 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Testimony
Robertson, Robbie
Hardback: $30.00
Pride and Prejudice
Austen, Jane
Paperback: $8.99
Moonglow
Chabon, Michael
Paperback: $18.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.