Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

CONCUR '92

Name: CONCUR '92
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274272
Price: 40647 HUF
Availability: InStock
Author: Walter R. Cleaveland
ISBN: 9783540558224

Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings

Walter R. Cleaveland

Language

English

Book Paperback

Libristo code: 05274272

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 1992

This book contains a selection of research papers describing§recent advancesin the theory of concurr... Full description

Libristo code: 05274272

271 b

40 647 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

LA HUITIEME REINE Shah

Paperback

10 404 Ft

Bewusstsein unabhangig vom Gehirn Siegfried Schumann

Adobe ePub DRM

14 712 Ft

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 concurrencytheory. Assuch, it is indispensible to researchers - and§would-be researchers - in theformal analysis of concurrent§systems.