Rocco De Nicola
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
8
Two complete axiom systems for a theory of communicating sequential processes
Software Engineering and Formal Methods
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Lecture Notes in Computer Science)
Trustworthy global computing
Software, Services, and Systems
Programming Languages and Systems
