Produktbild: Concurrency Theory

Concurrency Theory

Lieferzeit: Lieferbar innerhalb 14 Tagen

160,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

ISBN: 1852338954
ISBN 13: 9781852338954
Autor: Bowman, Howard/Gomez, Rodolfo
Verlag: Springer Verlag GmbH
Umfang: xx, 422 S., 126 s/w Illustr., 422 p. 126 illus.
Erscheinungsdatum: 21.12.2005
Auflage: 1/2006
Format: 2.5 x 24.6 x 16.2
Gewicht: 755 g
Produktform: Gebunden/Hardback
Einband: Gebunden
Artikelnummer: 1446289 Kategorie:

Beschreibung

The field of concurrency theory is becoming increasingly important, with the problem of formally verifying concurrent distributed systems a critical consideration and a major topic for the software industries. This book, with its extensive applications of the techniques involved in the field of concurrency theory, is the first to adopt this new approach.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …