Name: concurrency theory: calculi an automata for modelling untimed and timed concurrent systems
Price: 2632.00 ZAR
Availability: InStock
Author: Bowman, Howard ; Gomez, Rodolfo
ISBN: 9781852338954

Select your country

Americas

Europe

Rest of the world

portada concurrency theory: calculi an automata for modelling untimed and timed concurrent systems

concurrency theory: calculi an automata for modelling untimed and timed concurrent systems

Type

Physical Book

Author

Howard Bowman

Rodolfo Gomez

Publisher

Springer

Year

2005

Language

English

Pages

422

Format

Hardcover

Dimensions

23.4 x 15.6 x 2.5 cm

Weight

0.82 kg.

ISBN

1852338954

ISBN13

9781852338954

Synopsis "concurrency theory: calculi an automata for modelling untimed and timed concurrent systems"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

concurrency theory: calculi an automata for modelling untimed and timed concurrent systems - Bowman, Howard ; Gomez, Rodolfo

Synopsis "concurrency theory: calculi an automata for modelling untimed and timed concurrent systems"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery