Buy books written by Marco Bernardo Available at Bookswagon

Marco Bernardo

44 results found

Sort By:

Marcos Chaves: It Looked and I Looked Back

By: Karen Marta, Luisa Duarte, Marcos Chaves, Bernardo Mosqueira

Publisher: KMEC

No Review Yet

AED163

Binding:	Hardback
Release:	29 Aug 2024
Language:	English

International Edition

Ships within 16-18 Days Explain..

Probabilistic Trace and Testing Semantics

By: Marco Bernardo

Publisher: now publishers Inc

No Review Yet

AED302

Binding:	Paperback
Release:	24 Aug 2022
Language:	English

International Edition

Ships within 12-14 Days Explain..

Formal Methods for Multicore Programming

By: Marco Bernardo, Einar Broch Johnsen

Publisher: Springer International Publishing AG

No Review Yet

AED243

Binding:	Paperback
Release:	19 May 2015
Language:	English

Available

Ships within 12-14 Days Explain..

Formal Methods for Software Architectures

By: Marco Bernardo, Paola Inverardi

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED253

Binding:	Paperback
Release:	12 Sep 2003
Language:	English

Available

Ships within 12-14 Days Explain..

Formal Methods for the Design of Real-Time Systems

By: Marco Bernardo, Flavio Corradini

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED253

Binding:	Paperback
Release:	01 Sep 2004
Language:	English

Available

Ships within 12-14 Days Explain..

Formal Methods for Performance Evaluation

By: Marco Bernardo, Jane Hillston

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED147

Binding:	Paperback
Release:	18 May 2007
Language:	English

Available

Ships within 1-2 Days Explain..

Formal Methods for Eternal Networked Software Systems

By: Valerie Issarny, Marco Bernardo

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED263

Binding:	Paperback
Release:	03 Jun 2011
Language:	English

International Edition

Ships within 12-14 Days Explain..

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

By: Rocco De Nicola, Marco Bernardo, Jane Hillston

Publisher: Springer International Publishing AG

No Review Yet

AED253

Binding:	Paperback
Release:	12 Jun 2016
Language:	English

Available

Ships within 14-16 Days Explain..

A Process Algebraic Approach to Software Architecture Design

By: Alessandro Aldini, Marco Bernardo, Flavio Corradini

Publisher: Springer London Ltd

No Review Yet

AED253

Binding:	Hardback
Release:	27 Nov 2009
Language:	English

Available

Ships within 14-16 Days Explain..

10.

A Process Algebraic Approach to Software Architecture Design

By: Alessandro Aldini, Marco Bernardo, Flavio Corradini

Publisher: Springer London Ltd

No Review Yet

AED253

Binding:	Paperback
Release:	20 Oct 2014
Language:	English

Available

Ships within 12-14 Days Explain..

11.

Formal Methods for Mobile Computing

By: Alessandro Bogliolo, Marco Bernardo

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED253

Binding:	Paperback
Release:	13 Apr 2005
Language:	English

Available

Ships within 12-14 Days Explain..

12.

Formal Methods for Dynamical Systems

By: Herbert Wiklicky, Marco Bernardo, Alessandra di Pierro, Erik de Vink

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED233

Binding:	Paperback
Release:	07 Jun 2013
Language:	English

Available

Ships within 12-14 Days Explain..

13.

Formal Methods for Model-Driven Engineering

By: Alfonso Pierantonio, Marco Bernardo, Vittorio Cortellessa

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED269

Binding:	Paperback
Release:	14 Jun 2012
Language:	English

International Edition

Ships within 16-18 Days Explain..

14.

Formal Methods for Hardware Verification

By: Alessandro Cimatti, Marco Bernardo

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED262

Binding:	Paperback
Release:	15 May 2006
Language:	English

International Edition

Ships within 16-18 Days Explain..

15.

Computer Performance Engineering

By: Luciano Bononi, Alessandro Aldini, Marco Bernardo, Vittorio Cortellessa

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED254

Binding:	Paperback
Release:	13 Sep 2010
Language:	English

International Edition

Ships within 12-14 Days Explain..

16.

Formal Methods for Web Services

By: Gianluigi Zavattaro, Luca Padovani, Marco Bernardo

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED233

Binding:	Paperback
Release:	12 May 2009
Language:	English

Available

Ships within 14-16 Days Explain..

17.

Formal Methods for Quantitative Aspects of Programming Languages

By: Herbert Wiklicky, Alessandro Aldini, Marco Bernardo, Alessandra di Pierro

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED253

Binding:	Paperback
Release:	11 Jun 2010
Language:	English

International Edition

Ships within 12-14 Days Explain..

18.

Formal Methods for Computational Systems Biology

By: Pierpaolo Degano, Gianluigi Zavattaro, Marco Bernardo

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED124

Binding:	Paperback
Release:	20 May 2008
Language:	English

Available

Ships within 10-12 Days Explain..

19.

Formal Methods for Executable Software Models

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

Publisher: Springer International Publishing AG

No Review Yet

AED253

Binding:	Paperback
Release:	21 May 2014
Language:	English

Available

Ships within 14-16 Days Explain..

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year