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 Verification5 % NR
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,124
₹7,718
Binding:
Paperback
Release:
30 Oct 2024
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
2.
Leveraging Applications of Formal Methods, Verification and Validation43 %
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
₹17,839
₹10,168
Binding:
Paperback
Release:
14 Oct 2008
Language:
English
Available
Ships within 2-4 Days Explain..
3.
Bridging the Gap Between AI and Reality4 % NR
Bridging the Gap Between AI and Reality
By: Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,664
₹7,357
Binding:
Paperback
Release:
30 Dec 2024
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
4.
Let’s Talk AI5 % NR
Let’s Talk AI
By: Barbara Steffen, Edward A. Lee, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹4,575
₹4,346
Binding:
Paperback
Release:
28 Oct 2025
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
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,424
₹3,471
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,222
₹5,810
Binding:
Paperback
Release:
29 Oct 2020
Language:
English
Available
Ships within 14-16 Days Explain..
7.
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,424
₹3,471
Binding:
Paperback
Release:
07 Oct 2014
Language:
English
Available
Ships within 14-16 Days Explain..
8.
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,424
₹3,471
Binding:
Paperback
Release:
11 Sep 2012
Language:
English
Available
Ships within 14-16 Days Explain..
9.
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,477
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.
10.
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends4 % NR
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,624
₹5,399
Binding:
Paperback
Release:
05 Aug 2021
Language:
English
International Edition
Ships within 18-20 Days Explain..
Free Shipping in India and low cost Worldwide.
11.
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,424
₹3,471
Binding:
Paperback
Release:
27 Oct 2020
Language:
English
Available
Ships within 14-16 Days Explain..
12.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications36 %
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
06 Oct 2016
Language:
English
Available
Ships within 14-16 Days Explain..
13.
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,424
₹3,471
Binding:
Paperback
Release:
11 Sep 2012
Language:
English
Available
Ships within 14-16 Days Explain..
14.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas9 % NR
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹5,770
₹5,251
Binding:
Paperback
Release:
26 Oct 2024
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
15.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles16 % NR
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹9,374
₹7,874
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
16.
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,580
₹2,291
Binding:
Hardback
Release:
03 Apr 2018
Language:
English
Available
Ships within 14-16 Days Explain..
17.
Real Time and Such11 % NR
Real Time and Such
By: Paul Pettersson, Susanne Graf, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹5,770
₹5,135
Binding:
Paperback
Release:
05 Oct 2024
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
18.
Leveraging Applications of Formal Methods, Verification and Validation. Practice6 % NR
Leveraging Applications of Formal Methods, Verification and Validation. Practice
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,247
₹6,812
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
19.
Correct System Design
Correct System Design
By: Ernst-Rüdiger Olderog, Bernhard Steffen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,055
Binding:
Paperback
Release:
22 Sep 1999
Language:
English
In Stock
Ships within 1-2 Days Explain..
20.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering5 % NR
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,804
₹7,414
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
loadingLoading more results
ASK VIDYA