Bernhard Steffen – författare

Visar alla böcker från Bernhard Steffen. Handla online eller reservera direkt i butik.

1. 

   Bridging the Gap Between AI and Reality

   2023

   • Häftad 1039 kr
   • Häftad 1919 kr
   • Häftad 1039 kr
   • Häftad 599 kr
   • Häftad 599 kr
2. 

   Tools and Algorithms for the Construction and Analysis of Systems

   2020

   • Häftad 839 kr
   • Inbunden 959 kr
3. 

   Karten Von Mykenai

   2025

   • Inbunden 479 kr
   • Häftad 249 kr
4. 

   Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

   2020

   • Häftad 1259 kr
   • Häftad 1259 kr
5. 

   Tools and Algorithms for the Construction and Analysis of Systems

   2019

   • Häftad 739 kr
   • Häftad 739 kr
   • Häftad 739 kr
   • Häftad 739 kr
6. 

   Leveraging Applications of Formal Methods, Verification and Validation

   2021

   • Häftad 1039 kr
   • Häftad 2209 kr
   • Häftad 1479 kr
   • Häftad 739 kr
   • Häftad 739 kr
   • Häftad 739 kr
   • Häftad 739 kr
7. 

   Mathematical Foundations of Advanced Informatics

   2019

   • Häftad 489 kr
   • Inbunden 489 kr
8. 

   Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

   2024

   • Häftad 1109 kr
   • Häftad 639 kr
9. 

   Leveraging Applications of Formal Methods, Verification and Validation. Modeling

   2018

   • Häftad 739 kr
10. 

    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    2018

    • Häftad 739 kr
11. 

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    2018

    • Häftad 739 kr
12. 

    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    2018

    • Häftad 739 kr
13. 

    Leveraging Applications of Formal Methods, Verification and Validation: Applications

    2020

    • Häftad 739 kr
14. 

    Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    2020

    • Häftad 739 kr
15. 

    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    2021

    • Häftad 739 kr
16. 

    Model Checking, Synthesis, and Learning

    2021

    • Häftad 959 kr
17. 

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

    2022

    • Häftad 1039 kr
18. 

    Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

    2022

    • Häftad 1039 kr
19. 

    Leveraging Applications of Formal Methods, Verification and Validation. Practice

    2022

    • Häftad 959 kr
20. 

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    2024

    • Häftad 1179 kr
21. 

    Real Time and Such

    2024

    • Häftad 819 kr
22. 

    Combined Power of Research, Education, and Dissemination

    2024

    • Häftad 1109 kr
23. 

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    2024

    • Häftad 1179 kr
24. 

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    2024

    • Häftad 979 kr
25. 

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    2024

    • Häftad 739 kr
26. 

    Formal Methods for Industrial Critical Systems

    2025

    • Häftad 859 kr
27. 

    Let’s Talk AI

    2025

    • Häftad 579 kr
28. 

    Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems

    2026

    • Häftad 639 kr
29. 

    Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts

    2026

    • Häftad 649 kr
30. 

    Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems

    2026

    • Häftad 639 kr
31. 

    Transactions on Foundations for Mastering Change I

    2016

    • Häftad 739 kr
32. 

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    2016

    • Häftad 1479 kr
33. 

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    2016

    • Häftad 739 kr
34. 

    SOFSEM 2017: Theory and Practice of Computer Science

    2017

    • Häftad 739 kr
35. 

    Computing and Software Science

    2019

    • Häftad 449 kr
36. 

    Programming Language Ada. Reference Manual

    1983

    • Häftad 1179 kr
37. 

    Verification, Model Checking, and Abstract Interpretation

    2004

    • Häftad 739 kr
38. 

    Leveraging Applications of Formal Methods

    2006

    • Häftad 739 kr
39. 

    Services and Visualization: Towards User-Friendly Design

    1998

    • Häftad 739 kr
40. 

    Correct System Design

    1999

    • Häftad 739 kr
41. 

    Grundlagen der höheren Informatik

    2013

    • Inbunden 519 kr
    • Inbunden 519 kr
42. 

    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    2014

    • Häftad 739 kr
43. 

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

    2014

    • Häftad 739 kr