Buy books written by Bernhard Steffen Available at Bookswagon

Flat 10% Off Upto 10AED - Use Code FLAT10

Purchase Any Book And Get 5AED Off - Use Code FIRST

Flat 10% Off Upto 10AED - Use Code FLAT10

Purchase Any Book And Get 5AED Off - Use Code FIRST

Flat 10% Off Upto 10AED - Use Code FLAT10

Purchase Any Book And Get 5AED Off - Use Code FIRST

BooksWagon Icon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Bernhard Steffen

Bernhard Steffen

69 results found
List viewGrid view
Sort By:
1.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing
No Review Yet
AED244
Binding:
Paperback
Release:
27 Oct 2020
Language:
English
International Edition
Ships within 14-16 Days Explain..
2.
Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
By: Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED558
Binding:
Paperback
Release:
01 Dec 2024
Language:
English
International Edition
Ships within 14-16 Days Explain..
3.
Combined Power of Research, Education, and Dissemination
Combined Power of Research, Education, and Dissemination
By: Mike Hinchey, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED326
Binding:
Paperback
Release:
08 Nov 2024
Language:
English
International Edition
Ships within 14-16 Days Explain..
4.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED309
Binding:
Paperback
Release:
09 Nov 2024
Language:
English
International Edition
Ships within 18-20 Days Explain..
5.
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED315
Binding:
Paperback
Release:
20 Nov 2024
Language:
English
International Edition
Ships within 14-16 Days Explain..
6.
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED353
Binding:
Paperback
Release:
30 Nov 2024
Language:
English
International Edition
Ships within 24-26 Days Explain..
7.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED315
Binding:
Paperback
Release:
26 Nov 2024
Language:
English
International Edition
Ships within 14-16 Days Explain..
8.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED216
Binding:
Paperback
Release:
26 Nov 2024
Language:
English
International Edition
Ships within 18-20 Days Explain..
9.
Real Time and Such
Real Time and Such
By: Paul Pettersson, Susanne Graf, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED215
Binding:
Paperback
Release:
05 Nov 2024
Language:
English
International Edition
Ships within 18-20 Days Explain..
10.
Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
By: Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED291
Binding:
Paperback
Release:
14 Dec 2023
Language:
English
International Edition
Ships within 14-16 Days Explain..
11.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing
No Review Yet
AED390
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within 14-16 Days Explain..
12.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED326
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within 14-16 Days Explain..
13.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED327
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within 14-16 Days Explain..
14.
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Practice
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland
No Review Yet
AED301
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within 14-16 Days Explain..
15.
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing
No Review Yet
AED237
Binding:
Paperback
Release:
13 Sep 2021
Language:
English
International Edition
Ships within 14-16 Days Explain..
16.
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature Switzerland AG
No Review Yet
AED327
Binding:
Paperback
Release:
12 Oct 2021
Language:
English
International Edition
Ships within 14-16 Days Explain..
17.
Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
By: Ernst-Rüdiger Olderog, Ernst-Rudiger Olderog, Bernhard Steffen, Wang Yi, Wang Yi
Publisher: Springer Nature Switzerland AG
No Review Yet
AED295
Binding:
Paperback
Release:
22 Nov 2021
Language:
English
International Edition
Ships within 14-16 Days Explain..
18.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing
No Review Yet
AED390
Binding:
Paperback
Release:
10 Dec 2020
Language:
English
International Edition
Ships within 14-16 Days Explain..
19.
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Leveraging Applications of Formal Methods, Verification and Validation: Applications
By: Tiziana Margaria, Bernhard Steffen
Publisher: Springer International Publishing
No Review Yet
AED243
Binding:
Paperback
Release:
08 Dec 2020
Language:
English
International Edition
Ships within 14-16 Days Explain..
20.
Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia
Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia
By: Bernhard Schulz, Thomas Seifert, Thomas Dittrich, Axel Gerdes, Steffen Hagemann
Publisher: Springer
No Review Yet
AED109
Binding:
Paperback
Release:
21 Feb 2019
Language:
English
International Edition
Ships within 14-16 Days Explain..
loadingLoading more results