Marco Bernardo | Akateeminen Kirjakauppa

A Process Algebraic Approach to Software Architecture Design

Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
SPRINGER VERLAG GMBH
2010
Pehmeäkantinen kirja

62,90 €

Lumina

Marcolla, Bernardo
Bernardo Marcolla
2018
Pehmeäkantinen kirja

70,00 €

Il lupo vegetariano

Benedettelli, Marco; Bernardo, Orsola;
Ass. Multimage
2024
Pehmeäkantinen kirja

54,40 €

Formal Methods for Performance Evaluation - 7th International School on Formal Methods for the Design of Computer, Communication

Bernardo, Marco; Hillston, Jane
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer,

Bernardo, Marco; Corradini, Flavio
Springer
2004
Pehmeäkantinen kirja

51,10 €

Formal Methods for Mobile Computing - 5th International School on Formal Methods for the Design of Computer, Communication, and

Bernardo, Marco; Bogliolo, Alessandro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,10 €

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer,

Bernardo, Marco; Inverardi, Paola
Springer
2003
Pehmeäkantinen kirja

51,10 €

Formal Methods for Computational Systems Biology - 8th International School on Formal Methods for the Design of Computer, Commun

Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Formal Methods for Hardware Verification - 6th International School on Formal Methods for the Design of Computer, Communication,

Bernardo, Marco; Cimatti, Alessandro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Formal Methods for Web Services - 9th International School on Formal Methods for the Design of Computer, Communication and Softw

Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

47,10 €

Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer,

Bernardo, Marco; Issarny, Valerie
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,10 €

Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communicat

Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,10 €

Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, an

Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,20 €

Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communic

Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Springer International Publishing AG
2014
Pehmeäkantinen kirja