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
Tiziana Margaria

Tiziana Margaria

66 results found
List viewGrid view
Sort By:
1.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles37 %
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
27 Oct 2020
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Engineering of Computer-Based Systems37 %
Engineering of Computer-Based Systems
By: Jan Kofron, Tiziana Margaria, Jan Kofroň, Cristina Seceleanu
Publisher: Springer Nature Switzerland
No Review Yet
₹5,440
₹3,427
Binding:
Paperback
Release:
29 Nov 2023
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning37 %
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
₹6,566
₹4,137
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 12-14 Days Explain..
4.
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 Nature Switzerland
No Review Yet
₹6,566
₹4,137
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 12-14 Days Explain..
5.
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 Nature Switzerland
No Review Yet
₹6,097
₹3,841
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 12-14 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 International Publishing
No Review Yet
₹7,973
₹5,023
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Leveraging Applications of Formal Methods, Verification and Validation37 %
Leveraging Applications of Formal Methods, Verification and Validation
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹6,566
₹4,137
Binding:
Paperback
Release:
12 Oct 2021
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends37 %
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
13 Sep 2021
Language:
English
Available
Ships within 12-14 Days Explain..
9.
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
No Review Yet
₹7,973
₹5,023
Binding:
Paperback
Release:
10 Dec 2020
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Leveraging Applications of Formal Methods, Verification and Validation: Applications37 %
Leveraging Applications of Formal Methods, Verification and Validation: Applications
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
08 Dec 2020
Language:
English
Available
Ships within 12-14 Days Explain..
11.
Models, Mindsets, Meta: The What, the How, and the Why Not?37 %
Models, Mindsets, Meta: The What, the How, and the Why Not?
By: Kim G. Larsen, Susanne Graf, Tiziana Margaria, Kim G Larsen
Publisher: Springer International Publishing
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
26 Jun 2019
Language:
English
Available
Ships within 12-14 Days Explain..
12.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling37 %
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
29 Oct 2018
Language:
English
Available
Ships within 12-14 Days Explain..
13.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice37 %
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
30 Oct 2018
Language:
English
Available
Ships within 12-14 Days Explain..
14.
Leveraging Applications of Formal Methods, Verification and Validation. Verification37 %
Leveraging Applications of Formal Methods, Verification and Validation. Verification
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
30 Oct 2018
Language:
English
Available
Ships within 12-14 Days Explain..
15.
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems37 %
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
31 Oct 2018
Language:
English
Available
Ships within 12-14 Days Explain..
16.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques37 %
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer
No Review Yet
₹9,380
₹5,909
Binding:
Paperback
Release:
06 Oct 2016
Language:
English
Available
Ships within 12-14 Days Explain..
17.
Tools and Algorithms for the Construction and Analysis of Systems37 %
Tools and Algorithms for the Construction and Analysis of Systems
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
20 Mar 1996
Language:
English
Available
Ships within 12-14 Days Explain..
18.
Leveraging Applications of Formal Methods, Verification and Validation37 %
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
₹4,690
₹2,955
Binding:
Paperback
Release:
11 Sep 2012
Language:
English
Available
Ships within 12-14 Days Explain..
19.
Leveraging Applications of Formal Methods, Verification and Validation37 %
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
₹4,690
₹2,955
Binding:
Paperback
Release:
11 Sep 2012
Language:
English
Available
Ships within 12-14 Days Explain..
20.
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications37 %
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
07 Oct 2014
Language:
English
Available
Ships within 12-14 Days Explain..
loadingLoading more results