Handbook of process algebra /

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, con...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Bergstra, J. A., Ponse, A. (Alban), 1955-, Smolka, Scott A.
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; New York : Elsevier, 2001.
Edition:1st ed.
Subjects:
Machine theory.
Parallel processing (Electronic computers)
Th�eorie des automates.
Parall�elisme (Informatique)
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Machine theory
Prozessalgebra
T�ecnicas de programa�c�ao.
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items