Concurrency Theory: Calculi an Automata for Modelling Untimed And Timed Concurrent Systems - Couverture rigide

Bowman, Howard; Gomez, Rodolfo

 
9781852338954: Concurrency Theory: Calculi an Automata for Modelling Untimed And Timed Concurrent Systems
Couverture rigide
ISBN 10 : 1852338954 ISBN 13 : 9781852338954
Editeur : Springer London Ltd, 2005

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer London Ltd
Date d'édition
2005
Langue
anglais
ISBN 10 
1852338954
ISBN 13 
9781852338954
Reliure
Relié
Nombre de pages
442
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9781849969512: Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Edition présentée

ISBN 10 :  1849969515 ISBN 13 :  9781849969512
Editeur : Springer, 2010
Couverture souple