Details
ISBN/EAN: 978-3-319-36638-8
Einband: kartoniertes Buch
Weitere Details
Auflage:
1. Auflage 2015
1. Auflage 2015
Erschienen am:
22.10.2016
22.10.2016
Sprache:
English
English
Umfang:
xi, 334 S., 63 s/w Illustr., 334 p. 63 illus.
xi, 334 S., 63 s/w Illustr., 334 p. 63 illus.
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
Weitere Details
arrow_forward_ios
Introduction to Concurrency Theory
Transition Systems and CCS, Texts in Theoretical Computer Science. An EATCS Series
Über Roberto Gorrieri, Cristian Versari
Roberto Gorrieri is a professor of computer science of the University of Bologna. His interests include concurrency and the foundations of security analysis and design.Cristian Versari is an assistant professor of computer science at the Laboratoire d'Informatique Fondamentale de Lille (LIFL). His interests include concurrent languages and the computational modelling of biological systems.