Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Marco Bernardo

Marco Bernardo

21 results found
List viewGrid view
Sort By:
1.
Formal Methods for Performance Evaluation59 %
Formal Methods for Performance Evaluation
By: Marco Bernardo, Jane Hillston
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹2,176
Binding:
Paperback
Release:
18 May 2007
Language:
English
Available
Ships within 1-2 Days Explain..
2.
Formal Methods for the Design of Real-Time Systems36 %
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
₹5,307
₹3,396
Binding:
Paperback
Release:
01 Sep 2004
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Formal Methods for Software Architectures36 %
Formal Methods for Software Architectures
By: Marco Bernardo, Paola Inverardi
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
12 Sep 2003
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Formal Methods for Multicore Programming36 %
Formal Methods for Multicore Programming
By: Marco Bernardo, Einar Broch Johnsen
Publisher: Springer International Publishing AG
No Review Yet
₹5,096
₹3,261
Binding:
Paperback
Release:
19 May 2015
Language:
English
Available
Ships within 12-14 Days Explain..
5.
A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
By: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publisher: Springer London Ltd
No Review Yet
₹2,858
Binding:
Hardback
Release:
27 Nov 2009
Language:
English
Available
Ships within 4-6 Days Explain..
6.
Formal Methods for Mobile Computing36 % NR
Formal Methods for Mobile Computing
By: Alessandro Bogliolo, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
13 Apr 2005
Language:
English
Available
Ships within 12-14 Days Explain..
7.
A Process Algebraic Approach to Software Architecture Design36 %
A Process Algebraic Approach to Software Architecture Design
By: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publisher: Springer London Ltd
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
20 Oct 2014
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Formal Methods for Dynamical Systems36 %
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
₹4,884
₹3,126
Binding:
Paperback
Release:
07 Jun 2013
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems36 %
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
₹5,307
₹3,396
Binding:
Paperback
Release:
12 Jun 2016
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Formal Methods for Web Services48 %
Formal Methods for Web Services
By: Gianluigi Zavattaro, Luca Padovani, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹4,879
₹2,537
Binding:
Paperback
Release:
12 May 2009
Language:
English
Available
Ships within 1-2 Days Explain..
11.
Formal Methods for Computational Systems Biology
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
₹1,382
Binding:
Paperback
Release:
20 May 2008
Language:
English
Available
Ships within 1-2 Days Explain..
12.
Formal Methods for Executable Software Models36 %
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
₹5,307
₹3,396
Binding:
Paperback
Release:
21 May 2014
Language:
English
Available
Ships within 12-14 Days Explain..
13.
Marcos Chaves: It Looked and I Looked Back25 % NR
Marcos Chaves: It Looked and I Looked Back
By: Karen Marta, Luisa Duarte, Marcos Chaves, Bernardo Mosqueira
Publisher: KMEC
No Review Yet
₹4,820
₹3,615
Binding:
Hardback
Release:
29 Aug 2024
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
14.
Formal Methods for Hardware VerificationNR
Formal Methods for Hardware Verification
By: Alessandro Cimatti, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,222
Binding:
Paperback
Release:
15 May 2006
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
15.
Formal Methods for Eternal Networked Software SystemsNR
Formal Methods for Eternal Networked Software Systems
By: Valerie Issarny, Marco Bernardo
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,364
Binding:
Paperback
Release:
03 Jun 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
16.
Formal Methods for Model-Driven EngineeringNR
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
₹5,332
Binding:
Paperback
Release:
14 Jun 2012
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
17.
Formal Methods for Quantitative Aspects of Programming LanguagesNR
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
₹5,205
Binding:
Paperback
Release:
11 Jun 2010
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
18.
Computer Performance EngineeringNR
Computer Performance Engineering
By: Luciano Bononi, Alessandro Aldini, Marco Bernardo, Vittorio Cortellessa
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,226
Binding:
Paperback
Release:
13 Sep 2010
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
19.
Probabilistic Trace and Testing Semantics47 % NR
Probabilistic Trace and Testing Semantics
By: Marco Bernardo
Publisher: now publishers Inc
No Review Yet
₹7,232
₹3,833
Binding:
Paperback
Release:
24 Aug 2022
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
20.
Un Superhéroe En El Tejado Y Otros Cuentos26 % NR
Un Superhéroe En El Tejado Y Otros Cuentos
By: Luis Bernardo Perez, Guadalupe Pacheco Marcos
Publisher: Norma
No Review Yet
₹1,316
₹974
Binding:
Paperback
Release:
04 May 2019
Language:
Spanish
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results
ASK VIDYA