Transactions on Petri Nets and Other Models of Concurrency VIII (2013)

Contributor(s): Koutny, Maciej (Editor), Van Der Aalst, Wil M P (Editor), Yakovlev, Alex (Editor)

ISBN: 9783642404641

Publisher: Springer

Binding Types:

Paperback

$54.99

Digicover (1-4 copies)

$67.94 (Final Price)

Readerbound (5-99 copies)

$66.74 (100+ copies: $65.99)

List/retail price:

$54.99

Pub Date: August 14, 2013

Dewey: 005.1

Lexile Code: 0000

Features: Illustrated

Target Age Group: NA to NA

Physical Info: 0.47" H x 9.21" L x 6.14" W ( 0.70 lbs) 203 pages

BISAC Categories:

Series: Lecture Notes in Computer Science

Descriptions, Reviews, etc.

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.