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
Bernhard Steffen

Bernhard Steffen

100 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.
The Combined Power of Research, Education, and Dissemination37 %
The Combined Power of Research, Education, and Dissemination
By: Mike Hinchey, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹8,399
₹5,291
Binding:
Paperback
Release:
08 Oct 2024
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Leveraging Applications of Formal Methods, Verification and Validation54 %
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
₹21,134
₹9,722
Binding:
Paperback
Release:
14 Oct 2008
Language:
English
Available
Ships within 2-4 Days Explain..
4.
Bridging the Gap Between AI and Reality37 %
Bridging the Gap Between AI and Reality
By: Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,839
₹4,939
Binding:
Paperback
Release:
30 Dec 2024
Language:
English
Available
Ships within 14-16 Days Explain..
5.
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..
6.
Let’s Talk AI36 % NR
Let’s Talk AI
By: Barbara Steffen, Edward A. Lee, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹4,883
₹3,125
Binding:
Paperback
Release:
28 Oct 2025
Language:
English
Available
Ships within 14-16 Days Explain..
7.
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..
8.
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..
9.
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..
10.
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..
11.
Tools and Algorithms for the Construction and Analysis of SystemsPOD/NR
Tools and Algorithms for the Construction and Analysis of Systems
By: Bernhard Steffen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,692
Binding:
Paperback
Release:
18 Mar 1998
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.
12.
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..
13.
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..
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.
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..
16.
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..
17.
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..
18.
Mathematical Foundations of Advanced Informatics36 %
Mathematical Foundations of Advanced Informatics
By: Michael Huth, Bernhard Steffen, Oliver Rüthing
Publisher: Springer International Publishing AG
No Review Yet
₹3,695
₹2,365
Binding:
Hardback
Release:
03 Apr 2018
Language:
English
Available
Ships within 14-16 Days Explain..
19.
Real Time and Such36 %
Real Time and Such
By: Paul Pettersson, Susanne Graf, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹6,159
₹3,942
Binding:
Paperback
Release:
05 Oct 2024
Language:
English
Available
Ships within 14-16 Days Explain..
20.
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..
loadingLoading more results
ASK VIDYA