Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) - Tapa dura

Libro 35 de 45: Texts in Theoretical Computer Science. An EATCS

Fokkink, Wan

 
9783540665793: Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Tapa dura
ISBN 10: 354066579X ISBN 13: 9783540665793
Editorial: Springer, 1999

Sinopsis

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
1999
Idioma
Inglés
ISBN 10 
354066579X
ISBN 13 
9783540665793
Encuadernación
Tapa dura
Número de páginas
180
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783642085840: Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Edición Destacada

ISBN 10:  3642085849 ISBN 13:  9783642085840
Editorial: Springer, 2010
Tapa blanda