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

CONCUR 2000 - Concurrency Theory

CONCUR 2000 - Concurrency Theory

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

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

People (Jen), State and Inter-state Relations

$59.99

Talk with Me Bilingual Collection: Ages 6-12 Months

$148.50

Heterogeneous Materials

$129.00

Scholastic Success With Traditional Cursive: Grades 2-4 Workbook

$5.24

Single Nucleotide Polymorphisms

$89.00

Asbestzement

$84.99

Formal Methods for Industrial Critical Systems

$49.99

Static Analysis

$79.99

Rathschlge ber den Blitzschutz der Gebude

$59.99

Information Systems Security

$39.99

Evolving OpenMP in an Age of Extreme Parallelism

$54.99

Multilokales Wohnen

$59.99

Gestaltung komplexer Austauschbeziehungen

$59.99

Multiple Problem Youth

$109.99

From Encryption to Quantum Computing

$179.99

Erwartungsbildung konomischer Akteure

$59.99

Unternehmensbewertung in Theorie und Praxis

$59.99

Umweltschutz in Klinik und Praxis

$69.99

Migration, Sprache und kulturelles Kapital

$39.99

Messung von Primrteilchen der Kosmischen Strahlung (S)

$59.99

Peace, Complexity, Visuality

$119.00

Fixed Point Theory in Ordered Sets and Applications

$84.99

Light in Einsteins Universe

$109.99

Proceedings of the 2nd International Symposium on Disaster Resilience and Sustainable Development

$219.99

Distributed Computing and Internet Technology

$54.99

A History of Fishing

$119.00

Drug Discovery and Drug Development

$139.99

Jenseits von Rif und Ruhr

$39.99

25 Jahre Kaiser Wilhelm-Gesellschaft ur Frderung der Wissenschaften

$59.99

Secure Data Management

$54.99

Neuroradiological Imaging of Skin Diseases and Related Conditions

$109.99

Cathodoluminescence Microscopy of Inorganic Solids

$129.00

Arbeitsmarktkonomik

$44.99

Anyons

$84.99

Die Lebenslehre

$44.99

A First Course on Zero-Sum Repeated Games

$79.99

Algorithmen und Datenstrukturen mit Modula 2

$44.99

Don't Let the Pigeon Drive the Sleigh! by Mo Willems

$18.99

Job Scheduling Strategies for Parallel Processing

$54.99

Rhetoricians on Argumentation

$119.99