3 Ebooks by Flavio Corradini
Alessandro Aldini & Marco Bernardo: Process Algebraic Approach to Software Architecture Design
Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for …
PDF
English
DRM
€57.82
Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems
…
PDF
English
DRM
€57.10
Michele Boreale & Flavio Corradini: Models, Languages, and Tools for Concurrent and Distributed Programming
This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to …
EPUB
English
DRM
€57.44
