Introduction to Concurrency Theory: Transition Systems and CCS - Tapa blanda

Libro 38 de 44: Texts in Theoretical Computer Science. An EATCS

Gorrieri, Roberto; Versari, Cristian

 
9783319214924: Introduction to Concurrency Theory: Transition Systems and CCS
Tapa blanda
ISBN 10: 3319214926 ISBN 13: 9783319214924
Editorial: Springer, 2015

Esta edición ISBN ya no está disponible.

Sinopsis

Introduction.- Transition Systems and Behavioral Equivalences.- CCS: A Calculus of Communicating Systems.- Algebraic Laws, Congruences and Axiomatizations.- Additional Operators.- Multi-CCS.- Glossary.- References.- Index.

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

Editorial
Springer
Año de publicación
2015
Idioma
Inglés
ISBN 10 
3319214926
ISBN 13 
9783319214924
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783319214900: Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)

Edición Destacada

ISBN 10:  331921490X ISBN 13:  9783319214900
Editorial: Springer, 2015
Tapa dura