Communicating sequential processes

Communicating sequential processes

Pas encore d'évaluations
Jan 1, 1985 · Anglais · Relié (256 pages)
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture

Détails du livre

Format Relié
Pages 256
Langue Anglais
Publié Jan 1, 1985
Éditeur Prentice Hall
ISBN-10 0131532715
ISBN-13 9780131532717

Description

This book introduces a new mathematical approach to the study of concurrency and communication. Most suitable application of this new field is to the specification, design and implementation of computer systems which continuously act and interact with their environment.
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture