3 หนังสืออิเล็กทรอนิกส์โดย 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
อังกฤษ
DRM
€57.46
Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems
…
PDF
อังกฤษ
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
อังกฤษ
DRM
€58.12
