Marco Bernardo

45 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

AED201

Binding:	Hardback
Release:	29 Aug 2024
Language:	English

International Edition

Ships within 10-12 Days Explain..

Initialization and Diversity in Optimization Algorithms

By: Diego Oliva, Marco Perez-Cisneros, Bernardo Morales-Castañeda, Mario A. Navarro Velázquez, Itzel Aranguren

Publisher: Taylor & Francis Ltd

No Review Yet

AED799

Binding:	Hardback
Release:	18 Feb 2026
Language:	English

International Edition

Ships within 14-16 Days Explain..

Formal Methods for Software Architectures

By: Marco Bernardo, Paola Inverardi

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

No Review Yet

AED182

Binding:	Paperback
Release:	12 Sep 2003
Language:	English

Available

Ships within 14-16 Days Explain..

Formal Methods for Multicore Programming

By: Marco Bernardo, Einar Broch Johnsen

Publisher: Springer International Publishing AG

No Review Yet

AED176

Binding:	Paperback
Release:	19 May 2015
Language:	English

Available

Ships within 14-16 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

AED190

Binding:	Paperback
Release:	01 Sep 2004
Language:	English

Available

Ships within 14-16 Days Explain..

Formal Methods for Performance Evaluation

By: Marco Bernardo, Jane Hillston

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

No Review Yet

AED160

Binding:	Paperback
Release:	18 May 2007
Language:	English

Available

Ships within 10-12 Days Explain..

Formal Methods for Mobile Computing

By: Alessandro Bogliolo, Marco Bernardo

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

No Review Yet

AED182

Binding:	Paperback
Release:	13 Apr 2005
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED275

Binding:	Paperback
Release:	14 Jun 2012
Language:	English

International Edition

Ships within 18-20 Days Explain..

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

AED170

Binding:	Paperback
Release:	07 Jun 2013
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

AED190

Binding:	Paperback
Release:	20 Oct 2014
Language:	English

Available

Ships within 14-16 Days Explain..

11.

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

AED182

Binding:	Paperback
Release:	12 Jun 2016
Language:	English

Available

Ships within 14-16 Days Explain..

12.

Formal Methods for Hardware Verification

By: Alessandro Cimatti, Marco Bernardo

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

No Review Yet

AED264

Binding:	Paperback
Release:	15 May 2006
Language:	English

International Edition

Ships within 10-12 Days Explain..

13.

A Process Algebraic Approach to Software Architecture Design

By: Alessandro Aldini, Marco Bernardo, Flavio Corradini

Publisher: Springer London Ltd

4.4

(8)

AED190

Binding:	Hardback
Release:	27 Nov 2009
Language:	English

Available

Ships within 14-16 Days Explain..

14.

Formal Methods for Eternal Networked Software Systems

By: Valerie Issarny, Marco Bernardo

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

No Review Yet

AED198

Binding:	Paperback
Release:	03 Jun 2011
Language:	English

Available

Ships within 2-4 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

AED185

Binding:	Paperback
Release:	13 Sep 2010
Language:	English

Available

Ships within 2-4 Days Explain..

16.

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

AED198

Binding:	Paperback
Release:	11 Jun 2010
Language:	English

Available

Ships within 2-4 Days Explain..

17.

Formal Methods for Web Services

By: Gianluigi Zavattaro, Luca Padovani, Marco Bernardo

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

No Review Yet

AED154

Binding:	Paperback
Release:	12 May 2009
Language:	English

Available

Ships within 4-6 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

AED143

Binding:	Paperback
Release:	20 May 2008
Language:	English

Available

Ships within 1-2 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

AED190

Binding:	Paperback
Release:	21 May 2014
Language:	English

Available

Ships within 14-16 Days Explain..

20.

Initialization and Diversity in Optimization Algorithms

By: Diego Oliva, Marco Perez-Cisneros, Bernardo Morales-Castañeda, Mario A. Navarro Velázquez, Itzel Aranguren

Publisher: Taylor & Francis Ltd

No Review Yet

AED229

Binding:	Digital (delivered electronically)
Release:	19 Feb 2026
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter