Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Transactions on Petri Nets and Other Models of Concurrency XVI

Transactions on Petri Nets and Other Models of Concurrency XVI

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783662653029
Condition
New
Product Description

The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and the 20th International Conference on Application of Concurrency to System Design, ACSD 2020. The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Available Colors
Available Sizes
1 Offer Price Range: $79.99 - $79.99
BEST PRICE

Single Product Purchase

$79.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$79.99 $79.99

$79.99
See Site In stock Visit Store

Similar Products

Spatial Literacy

$29.99

Fasziale Schmerzen und Funktionsstrungen

$29.99

Desingularization Strategies of Three-Dimensional Vector Fields

$29.99

The Tropical Rain Forest

$74.99

Symbolic Analysis for Automated Design of Analog Integrated Circuits

$129.00

Scalability Challenges in Web Search Engines

$37.99

Grammatical Inference: Algorithms and Applications

$54.99

Certification and Security in E-Services

$109.99

Droge und Gesellschaft

$59.99

Aptamers Selected by Cell-SELEX for Theranostics

$109.99

Lormetazepam

$69.99

Advances in Forensic Haemogenetics

$84.99

Experimental Algorithms

$39.99

Probabilistic Logic in a Coherent Setting

$109.99

Lipids and Womens Health

$54.99

The Discourse Trap and the US Military

$54.99

Advances in Computer Science, Environment, Ecoinformatics, and Education, Part III

$109.99

Mediation

$17.99

Borderlands and Liminal Subjects

$119.99

A Basic Guide to Uniqueness Problems for Evolutionary Differential Equations

$59.99

Organism and the Origins of Self

$219.99

Fly High, Fly Guy! (Fly Guy #5)

$4.49

Erfolgsfaktoren im Innovationsmanagement

$79.99

Big Planet, World: Chew, Chew, Chew!

$4.46

Scholastic EDGE for PreK

$645.99

C# 6.0 and the .NET 4.6 Framework

$44.99

Social Design

$129.00

ALLES was Sie schon immer ber Kommunikation wissen wollten

$39.99

Rechtsontologie

$59.99

Surgical Patient Care

$139.00

Der Chirurgische Operationssaal

$79.99

Isoenzymes

$54.99

Roboter mit Tastsinn

$84.99

Hitchcock & the Anxiety of Authorship

$54.99

Contemporary Dance Choreography and Spectatorship

$89.00

Aufgaben der Eisenbahn - Politik

$59.99

Computational Methods for Corpus Annotation and Analysis

$89.00

Deckungsrckstellungen bei Versicherungsunternehmen nach HGB und US-GAAP

$69.99

Unpacking EU Policy-Making towards China

$89.00

Organization and Management of IVF Units

$139.99