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 '92

CONCUR '92

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

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.

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

Questioning Excellence in Higher Education

$49.99

Arthropod Diversity and Conservation in the Tropics and Sub-tropics

$169.99

Foundations and Applications of Complexity Economics

$109.99

Praxishandbuch JIT/JIS mit SAP

$39.99

Direkte Blutdruckmessung Beim Menschen

$59.99

Socialism, Social Ownership and Social Justice

$69.99

Vermgenswert Marke

$29.99

An Axiomatic Basis for Quantum Mechanics

$39.99

24/7: Science Behind the Scenes: Forensics: Killer Wallpaper

$5.96

The Social Sciences and Democracy

$54.99

Flexible Sensors for Energy-Harvesting Applications

$139.99

Advances in Comparative Immunology

$299.99

Wireless Sensor Networks

$64.99

Mathematical Methods in Aerodynamics

$219.99

Demographische Wirkungen stdtebaulicher Manahmen

$59.99

Modular Functions of One Variable IV

$19.99

Psychosomatische Probleme in der Gynkologie und Geburtshilfe 1985

$69.99

Introduction to Affine Group Schemes

$99.99

Introduction to Search Engine Optimization

$19.99

Lexikon Ditetische Indikationen

$89.99

Verhaltensanomalien: Kritische Anlsse und die Wirkung finanzieller Allgemeinbildung

$89.99

Euro-Par 2023: Parallel Processing Workshops

$74.99

Soft Computing Applications

$169.00

Die Masseungleichmigkeit von Flachsstreckenbndern in Abhngigkeit von Verzug und Dopplung

$54.99

The Dutch Orphan- A Novel by Ellen Keith

$18.99

The Body in Professional Practice, Learning and Education

$54.99

Pluralistic Struggles in Gender, Sexuality and Coloniality

$59.99

Devotional Fitness

$99.99

Evolutionary Psychology

$84.99

A Systolic Array Optimizing Compiler

$109.99

ber die Dekompensation der Erworbenen Herzklappenfehler und ihre Behandlung

$54.99

Sulphur in Agroecosystems

$84.99

Legal Aspects of Privately Financed Infrastructure Projects (PFIPs) in China

$109.99

Networked Systems

$54.99

Aspect-Oriented Database Systems

$54.99

Louisiana's Response to Extreme Weather

$59.99

Agenda 2030 Bildung

$17.99

William Carlos Williams and the American Poem

$14.99

AI 2004: Advances in Artificial Intelligence

$149.00

Imaging Techniques in Orthopaedics

$39.99