Marco Bernardo - Böcker

Visar alla böcker från författaren Marco Bernardo.
17 produkter
Alessandro Aldini, Marco Bernardo, Flavio Corradini - Process Algebraic Approach to Software Architecture Design, Häftad

Process Algebraic Approach to Software Architecture Design

Av Alessandro Aldini, Marco Bernardo, Flavio Corradini

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Alessandro Aldini, Marco Bernardo, Flavio Corradini - Process Algebraic Approach to Software Architecture Design, Inbunden

Process Algebraic Approach to Software Architecture Design

Av Alessandro Aldini, Marco Bernardo, Flavio Corradini

Inbunden, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer - Formal Methods for Executable Software Models, Häftad

Formal Methods for Executable Software Models

Av Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Einar Broch Johnsen - Formal Methods for Multicore Programming, Häftad

Formal Methods for Multicore Programming

Av Marco Bernardo, Einar Broch Johnsen

Häftad, Engelska, 2015

689 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures, Häftad
Del 2804 - Lecture Notes in Computer Science

Formal Methods for Software Architectures

Av Marco Bernardo, Paola Inverardi

Häftad, Engelska, 2003

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Flavio Corradini - Formal Methods for the Design of Real-Time Systems, Häftad
Del 3185 - Lecture Notes in Computer Science

Formal Methods for the Design of Real-Time Systems

Av Marco Bernardo, Flavio Corradini

Häftad, Engelska, 2004

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing, Häftad

Formal Methods for Mobile Computing

Av Marco Bernardo, Alessandro Bogliolo

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Alessandro Cimatti - Formal Methods for Hardware Verification, Häftad

Formal Methods for Hardware Verification

Av Marco Bernardo, Alessandro Cimatti

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro - Formal Methods for Computational Systems Biology, Häftad

Formal Methods for Computational Systems Biology

Av Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Jane Hillston - Formal Methods for Performance Evaluation, Häftad

Formal Methods for Performance Evaluation

Av Marco Bernardo, Jane Hillston

Häftad, Engelska, 2007

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro - Formal Methods for Web Services, Häftad

Formal Methods for Web Services

Av Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Häftad, Engelska, 2009

679 kr

Skickas inom 7-10 vardagar
Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa - Computer Performance Engineering, Häftad

Computer Performance Engineering

Av Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Valerie Issarny - Formal Methods for Eternal Networked Software Systems, Häftad

Formal Methods for Eternal Networked Software Systems

Av Marco Bernardo, Valerie Issarny

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio - Formal Methods for Model-Driven Engineering, Häftad

Formal Methods for Model-Driven Engineering

Av Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky, Erik De, Erik de Vink - Formal Methods for Dynamical Systems, Häftad

Formal Methods for Dynamical Systems

Av Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky, Erik De, Erik de Vink

Häftad, Engelska, 2013

659 kr

Skickas inom 7-10 vardagar