3 Ebooks von 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 rea …
PDF
Englisch
DRM
€57.46
Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems
…
PDF
Englisch
DRM
€57.35
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 Roc …
EPUB
Englisch
DRM
€58.12
