Bernhard Steffen

Author detail

24 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL3182265A

Overview

Catalog identity and bibliographic footprint for this author.

24 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

Display name
Bernhard Steffen
Source identifier
OL3182265A

Featured books

Representative editions for works actually authored by this person.

MC
Image source: Open Library
Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning | 2021
Representative edition for this work grouping in the active catalog.
cover
MF
Image source: Open Library
Mathematical Foundations of Advanced Informatics : Volume 1
Mathematical Foundations of Advanced Informatics : Volume 1 | 2019
Representative edition for this work grouping in the active catalog.
cover
CA
Image source: Open Library
Computing and Software Science
Computing and Software Science | 2019
Representative edition for this work grouping in the active catalog.
cover
TA
Image source: Open Library
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS | 2019
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Leveraging Applications of Formal Methods, Verification and Validation. Modeling | 2018
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | 2018
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice | 2018
Representative edition for this work grouping in the active catalog.
cover
S2
Image source: Open Library
SOFSEM 2017 : Theory and Practice of Computer Science
SOFSEM 2017 : Theory and Practice of Computer Science | 2017
Representative edition for this work grouping in the active catalog.
cover
TO
Image source: Open Library
Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I | 2016
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications | 2016
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques | 2016
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation | 2012
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation | 2012
Representative edition for this work grouping in the active catalog.
cover
CS
Image source: Open Library
Correct system design
Correct System Design | 1999
Representative edition for this work grouping in the active catalog.
cover
TA
Image source: Open Library
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems | 1998
Representative edition for this work grouping in the active catalog.
cover
GD
Image source: Open Library
Grundlagen Der Hheren Informatik Induktives Vorgehen
Grundlagen Der Hheren Informatik Induktives Vorgehen | 1900
Representative edition for this work grouping in the active catalog.
cover
Real Time and SuchBernhard Steffen
RT
Real Time and Such
Real Time and Such | 2024
Representative edition for this work grouping in the active catalog.
no cover
Combined Power of Research, Edu...Bernhard Steffen
CP
Combined Power of Research, Education, and Dissemination
Combined Power of Research, Education, and Dissemination | 2024
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Bernhard Steffen
LA
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends | 2021
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Bernhard Steffen
LA
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles | 2020
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Bernhard Steffen
LA
Leveraging Applications of Formal Methods, Verification and Validation : Applications
Leveraging Applications of Formal Methods, Verification and Validation : Applications | 2020
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Bernhard Steffen
LA
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles | 2020
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Bernhard Steffen
LA
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Leveraging Applications of Formal Methods, Verification and Validation. Verification | 2018
Representative edition for this work grouping in the active catalog.
no cover
Karten Von MykenaiBernhard Steffen
KV
Karten Von Mykenai
Karten Von Mykenai | 2018
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.