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

22 results found
List viewGrid view
Sort By:
1.
Formal Methods for Software Architectures37 %
Formal Methods for Software Architectures
By: Marco Bernardo, Paola Inverardi
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
12 Sep 2003
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Formal Methods for the Design of Real-Time Systems37 %
Formal Methods for the Design of Real-Time Systems
By: Marco Bernardo, Flavio Corradini
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
01 Sep 2004
Language:
English
Available
Ships within 12-14 Days Explain..
3.
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
₹4,735
₹1,941
Binding:
Paperback
Release:
18 May 2007
Language:
English
Available
Ships within 1-2 Days Explain..
4.
Formal Methods for Multicore Programming37 %
Formal Methods for Multicore Programming
By: Marco Bernardo, Einar Broch Johnsen
Publisher: Springer
No Review Yet
₹4,503
₹2,837
Binding:
Paperback
Release:
19 May 2015
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems37 %
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
By: Rocco De Nicola, Marco Bernardo, Jane Hillston
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
BC
Release:
12 Jun 2016
Language:
eng
Available
Ships within 12-14 Days Explain..
6.
Process Algebraic Approach to Software Architecture Design37 %
Process Algebraic Approach to Software Architecture Design
By: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
20 Oct 2014
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Formal Methods for Mobile Computing37 %
Formal Methods for Mobile Computing
By: Alessandro Bogliolo, Marco Bernardo
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
13 Apr 2005
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Formal Methods for Hardware Verification48 %
Formal Methods for Hardware Verification
By: Alessandro Cimatti, Marco Bernardo
Publisher: Springer
No Review Yet
₹4,735
₹2,462
Binding:
Paperback
Release:
01 Jul 2006
Language:
English
Available
Ships within 1-2 Days Explain..
9.
Process Algebraic Approach to Software Architecture Design37 %
Process Algebraic Approach to Software Architecture Design
By: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Hardback
Release:
01 Nov 2009
Language:
English
Available
Ships within 12-14 Days Explain..
10.
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,491
Binding:
Paperback
Release:
01 Aug 2008
Language:
English
Available
Ships within 1-2 Days Explain..
11.
Formal Methods for Dynamical Systems37 %
Formal Methods for Dynamical Systems
By: Herbert Wiklicky, Erik De, Marco Bernardo, Erik de Vink, Alessandra di Pierro
Publisher: Springer
No Review Yet
₹4,315
₹2,718
Binding:
Paperback
Release:
07 Jun 2013
Language:
English
Available
Ships within 12-14 Days Explain..
12.
Formal Methods for Web Services
Formal Methods for Web Services
By: Gianluigi Zavattaro, Luca Padovani, Marco Bernardo
Publisher: Springer
No Review Yet
₹2,637
Binding:
Paperback
Release:
12 May 2009
Language:
English
Available
Ships within 4-6 Days Explain..
13.
Formal Methods for Executable Software Models37 %
Formal Methods for Executable Software Models
By: Ferruccio Damiani, Reiner Haehnle, Ina Schaefer, Marco Bernardo, Einar Broch Johnsen
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
21 May 2014
Language:
English
Available
Ships within 12-14 Days Explain..
14.
Marcos Chaves: It Looked and I Looked Back33 % NR
Marcos Chaves: It Looked and I Looked Back
By: Karen Marta, Luisa Duarte, Marcos Chaves, Bernardo Mosqueira
Publisher: Tpb Productions
No Review Yet
₹4,340
₹2,908
Binding:
Hardback
Release:
08 Aug 2023
Language:
English
International Edition
Ships within 18-20 Days Explain..
Free Shipping in India and low cost Worldwide.
15.
Probabilistic Trace and Testing Semantics6 % NR
Probabilistic Trace and Testing Semantics
By: Marco Bernardo
Publisher: Now Publishers
No Review Yet
₹6,300
₹5,922
Binding:
Paperback
Release:
24 Aug 2022
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
16.
Formal Methods for Model-Driven Engineering1 % POD/NR
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
₹4,949
₹4,900
Binding:
Paperback
Release:
14 Jun 2012
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
17.
Formal Methods for Eternal Networked Software SystemsNR
Formal Methods for Eternal Networked Software Systems
By: Valerie Issarny, Valerie (EDT) Issarny, Marco (EDT) Bernardo, Marco Bernardo
Publisher: Springer
No Review Yet
₹5,079
Binding:
Paperback
Release:
03 Jun 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
18.
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
₹4,920
Binding:
Paperback
Release:
11 Jun 2010
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
19.
Computer Performance EngineeringNR
Computer Performance Engineering
By: Luciano Bononi, Alessandro Aldini, Marco Bernardo, Vittorio Cortellessa
Publisher: Springer
No Review Yet
₹4,941
Binding:
Paperback
Release:
13 Sep 2010
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
20.
Superhéroe En El Tejado Y Otros Cuentos26 % NR
Superhéroe En El Tejado Y Otros Cuentos
By: Luis Bernardo Perez, Guadalupe Pacheco Marcos
Publisher: Norma
No Review Yet
₹1,092
₹808
Binding:
Paperback
Release:
04 May 2019
Language:
Spanish
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results