Humburger Icon
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Tiziana Margaria

Tiziana Margaria

85 results found
List viewGrid view
Sort By:
1.
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification37 %
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹8,287
₹5,221
Binding:
Paperback
Release:
30 Oct 2024
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹9,433
Binding:
Paperback
Release:
14 Oct 2008
Language:
English
Available
Ships within 8-10 Days Explain..
3.
Tools and Algorithms for the Construction and Analysis of Systems1 % POD/NR
Tools and Algorithms for the Construction and Analysis of Systems
By: Tiziana Margaria, Wang Yi
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹11,384
₹11,270
Binding:
Paperback
Release:
21 Mar 2001
Language:
English
International Edition
Ships within 10-12 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.
4.
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola37 %
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹8,287
₹5,221
Binding:
Paperback
Release:
09 Oct 2024
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems36 %
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
31 Oct 2018
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles37 %
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹9,519
₹5,997
Binding:
Paperback
Release:
29 Oct 2020
Language:
English
Available
Ships within 14-16 Days Explain..
7.
Engineering of Computer-Based Systems37 %
Engineering of Computer-Based Systems
By: Tiziana Margaria, Cristina Seceleanu, Jan Kofron
Publisher: Springer International Publishing AG
No Review Yet
₹6,495
₹4,092
Binding:
Paperback
Release:
29 Nov 2023
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change36 %
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
07 Oct 2014
Language:
English
Available
Ships within 14-16 Days Explain..
9.
Leveraging Applications of Formal Methods, Verification and Validation36 %
Leveraging Applications of Formal Methods, Verification and Validation
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
11 Sep 2012
Language:
English
Available
Ships within 14-16 Days Explain..
10.
SOFSEM 2015: Theory and Practice of Computer Science36 %
SOFSEM 2015: Theory and Practice of Computer Science
By: Tiziana Margaria-Steffen, Jean-Jacques Quisquater, Giuseppe Italiano, Roger Wattenhofer, Jaroslav Pokorný
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
02 Jan 2015
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends36 %
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
05 Aug 2021
Language:
English
Available
Ships within 14-16 Days Explain..
12.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles36 %
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
27 Oct 2020
Language:
English
Available
Ships within 14-16 Days Explain..
13.
Fundamental Approaches to Software Engineering36 %
Fundamental Approaches to Software Engineering
By: Michel Wermelinger, Tiziana Margaria-Steffen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
22 Mar 2004
Language:
English
Available
Ships within 14-16 Days Explain..
14.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹4,630
Binding:
Paperback
Release:
06 Oct 2016
Language:
English
Available
Ships within 14-16 Days Explain..
15.
Models, Mindsets, Meta: The What, the How, and the Why Not?36 %
Models, Mindsets, Meta: The What, the How, and the Why Not?
By: Kim G. Larsen, Susanne Graf, Tiziana Margaria
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
26 Jun 2019
Language:
English
Available
Ships within 14-16 Days Explain..
16.
Leveraging Applications of Formal Methods, Verification and Validation36 %
Leveraging Applications of Formal Methods, Verification and Validation
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
11 Sep 2012
Language:
English
Available
Ships within 14-16 Days Explain..
17.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas36 %
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹5,599
₹3,583
Binding:
Paperback
Release:
26 Oct 2024
Language:
English
Available
Ships within 14-16 Days Explain..
18.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles37 %
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹9,519
₹5,997
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 14-16 Days Explain..
19.
Leveraging Applications of Formal Methods, Verification and Validation. Practice37 %
Leveraging Applications of Formal Methods, Verification and Validation. Practice
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,279
₹4,586
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 14-16 Days Explain..
20.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering37 %
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,839
₹4,939
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 14-16 Days Explain..
loadingLoading more results
ASK VIDYA