Communicating sequential processes

Communicating sequential processes

Aún sin calificaciones
Jan 1, 1985 · Inglés · Tapa dura (256 páginas)
Añadir a la estantería

Califica este libro


Exportar diario de lectura

Detalles del libro

Formato Tapa dura
Páginas 256
Idioma Inglés
Publicado Jan 1, 1985
Editorial Prentice Hall
ISBN-10 0131532715
ISBN-13 9780131532717

Descripción

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.
Añadir a la estantería

Califica este libro


Exportar diario de lectura