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

Steffen Bernhard Steffen

100 results found
List viewGrid view
Sort By:
1.
Leveraging Applications of Formal Methods, Verification and Validation. Specification and VerificationNR
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,747
Binding:
Paperback
Release:
30 Oct 2024
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
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,172
Binding:
Paperback
Release:
14 Oct 2008
Language:
English
Available
Ships within 10-12 Days Explain..
3.
Bridging the Gap Between AI and Reality5 % NR
Bridging the Gap Between AI and Reality
By: Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,664
₹7,281
Binding:
Paperback
Release:
30 Dec 2024
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
4.
Let’s Talk AINR
Let’s Talk AI
By: Barbara Steffen, Edward A. Lee, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹4,911
Binding:
Paperback
Release:
28 Oct 2025
Language:
English
International Edition
Ships within 12-14 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,474
₹3,503
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,307
₹5,863
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,474
₹3,503
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,474
₹3,503
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,420
Binding:
Paperback
Release:
18 Mar 1998
Language:
English
International Edition
Ships within 12-14 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 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,474
₹3,503
Binding:
Paperback
Release:
05 Aug 2021
Language:
English
Available
Ships within 14-16 Days Explain..
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,474
₹3,503
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,474
₹3,503
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,474
₹3,503
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 Areas8 % 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,669
₹5,215
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 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,307
₹5,863
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 14-16 Days Explain..
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,613
₹2,312
Binding:
Hardback
Release:
03 Apr 2018
Language:
English
Available
Ships within 14-16 Days Explain..
17.
Real Time and Such8 % NR
Real Time and Such
By: Paul Pettersson, Susanne Graf, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹5,669
₹5,215
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. Practice37 %
Leveraging Applications of Formal Methods, Verification and Validation. Practice
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,117
₹4,484
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 14-16 Days Explain..
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 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,664
₹4,828
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 14-16 Days Explain..
loadingLoading more results
ASK VIDYA