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

Bernhard Steffen

85 results found
List viewGrid view
Sort By:
1.
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
₹13,800
₹8,694
Binding:
Paperback
Release:
31 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
2.
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,431
₹4,682
Binding:
Paperback
Release:
30 Dec 2024
Language:
English
Available
Ships within 12-14 Days Explain..
3.
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
₹7,855
₹4,949
Binding:
Paperback
Release:
09 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems37 %
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,006
₹4,414
Binding:
Paperback
Release:
27 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
5.
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
₹7,855
₹4,949
Binding:
Paperback
Release:
30 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies37 %
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹7,006
₹4,414
Binding:
Paperback
Release:
26 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
7.
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,307
₹3,396
Binding:
Paperback
Release:
26 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
8.
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
₹7,006
₹4,414
Binding:
Paperback
Release:
08 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Real Time and Such36 %
Real Time and Such
By: Paul Pettersson, Susanne Graf, Bernhard Steffen
Publisher: Springer International Publishing AG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
05 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
10.
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,431
₹4,682
Binding:
Paperback
Release:
14 Dec 2023
Language:
English
Available
Ships within 12-14 Days Explain..
11.
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,431
₹4,682
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 12-14 Days Explain..
12.
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
₹6,900
₹4,347
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 12-14 Days Explain..
13.
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 International Publishing AG
No Review Yet
₹7,431
₹4,682
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 12-14 Days Explain..
14.
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,023
₹5,684
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
Available
Ships within 12-14 Days Explain..
15.
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,307
₹3,396
Binding:
Paperback
Release:
05 Aug 2021
Language:
English
Available
Ships within 12-14 Days Explain..
16.
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
₹7,431
₹4,682
Binding:
Paperback
Release:
12 Oct 2021
Language:
English
Available
Ships within 12-14 Days Explain..
17.
Model Checking, Synthesis, and Learning37 %
Model Checking, Synthesis, and Learning
By: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Wang Yi
Publisher: Springer Nature Switzerland AG
No Review Yet
₹6,900
₹4,347
Binding:
Paperback
Release:
22 Nov 2021
Language:
English
Available
Ships within 12-14 Days Explain..
18.
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,307
₹3,396
Binding:
Paperback
Release:
27 Oct 2020
Language:
English
Available
Ships within 12-14 Days Explain..
19.
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,023
₹5,684
Binding:
Paperback
Release:
29 Oct 2020
Language:
English
Available
Ships within 12-14 Days Explain..
20.
Leveraging Applications of Formal Methods, Verification and Validation: Applications36 %
Leveraging Applications of Formal Methods, Verification and Validation: Applications
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
27 Oct 2020
Language:
English
Available
Ships within 12-14 Days Explain..
loadingLoading more results
ASK VIDYA