Cristian Versari – författare
Visar alla böcker från författaren Cristian Versari. Handla med fri frakt och snabb leverans.
3 produkter
Introduction to Concurrency Theory
Transition Systems and CCS
Av Roberto Gorrieri, Cristian Versari
Inbunden, 2015
568 kr
Lägg i varukorg
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of …
Introduction to Concurrency Theory
Transition Systems and CCS
Av Cristian Versari, Roberto Gorrieri
E-bok, 2015
718 kr
Lägg i varukorg
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of …
Introduction to Concurrency Theory
Transition Systems and CCS
Av Roberto Gorrieri, Cristian Versari
Häftad, 2016
568 kr
Lägg i varukorg
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of …