Yazar

Bernhard Steffen

29 cilt bulundu.

Cilt sonuçları

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

633 sayfa · 2008

Computer software, verification / Computer software, validation / System design

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen · Springer

457 sayfa · 1998

Development / Congresses / System design / Computer software

Transactions on Foundations for Mastering Change I

Bernhard Steffen · Springer

269 sayfa · 2016

Computer software, development / Computer software, verification / Computer software / Development / Verification

Grundlagen Der Hheren Informatik Induktives Vorgehen

Bernhard Steffen · SPRINGER

Sayfa sayısı yok · 1900

Kategori yok

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

Tiziana Margaria, Bernhard Steffen · Springer

890 sayfa · 2016

Software engineering / Computer science

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

Tiziana Margaria, Bernhard Steffen · Springer

997 sayfa · 2016

Robots, programming / Machine learning / Computer software, verification

CiltBridging the Gap Between AI and RealityBernhard Steffen

Bridging the Gap Between AI and Reality

Bernhard Steffen · Springer

400 sayfa · 2023

Kategori yok

CiltKarten Von MykenaiBernhard Steffen

Karten Von Mykenai

Bernhard Steffen · Creative Media Partners, LLC

Sayfa sayısı yok · 2018

Kategori yok

CiltHofmanns und Ritschls Lehren über die Heilsbedeutung des Todes JesuBernhard Steffen

Hofmanns und Ritschls Lehren über die Heilsbedeutung des Todes Jesu

Bernhard Steffen · Bertelsmann

155 sayfa · 1911

Kategori yok

Deutsches Archäologisches InstitutKarten von MykenaiBernhard Steffen

Karten von Mykenai

Bernhard Steffen · D. Reimer

60 sayfa · 1884

Maps / Description and travel / Deutsches Archäologisches Institut

CiltAbstrakte Interpretationen beim Optimieren von ProgrammlaufzeitenBernhard Steffen

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten

Bernhard Steffen · Yayınevi bilinmiyor

Sayfa sayısı yok · 1987

Kategori yok

CiltEine Methode zur Behandlung von potentialtheoretischen Problemen mit freiem Rand mit Hilfe der nichtlinearen OptimierungBernhard Steffen

Eine Methode zur Behandlung von potentialtheoretischen Problemen mit freiem Rand mit Hilfe der nichtlinearen Optimierung

Bernhard Steffen · Yayınevi bilinmiyor

76 sayfa · 1975

Kategori yok

CiltCharacteristic Formulae for CCS with DivergenceBernhard Steffen

Characteristic Formulae for CCS with Divergence

Bernhard Steffen · University of Edinburgh, Laboratory for Foundations of Computer Science

16 sayfa · 1989

Kategori yok

CiltOptimal Data Flow Analysis via Obserrational EquivalenceBernhard Steffen

Optimal Data Flow Analysis via Obserrational Equivalence

Bernhard Steffen · University of Edinburgh Laboratory forFoundations of Computer Science

16 sayfa · 1989

Kategori yok

CiltFinite constantsBernhard Steffen

Finite constants

Bernhard Steffen · University of Edinburgh, Laboratory for Foundations of Computer Science

17 sayfa · 1989

Kategori yok

Computer scienceLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering ChangeTiziana Margaria, Bernhard Steffen

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

Tiziana Margaria, Bernhard Steffen · Springer Berlin / Heidelberg

547 sayfa · 2014

Machine learning / Robots, programming / Software engineering / Artificial Intelligence (incl. Robotics) / Computer science

Computer scienceLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and ApplicationsTiziana Margaria, Bernhard Steffen

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

Tiziana Margaria, Bernhard Steffen · Springer Berlin / Heidelberg

644 sayfa · 2014

Software engineering / Robots, programming / Machine learning / Artificial Intelligence (incl. Robotics) / Computer science

CiltLeveraging Applications of Formal Methods, Verification and Validation : Verification PrinciplesTiziana Margaria, Bernhard Steffen

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

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation : Tools and TrendsTiziana Margaria, Bernhard Steffen

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

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

260 sayfa · 2021

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation : ApplicationsTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Applications

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok

CiltLeveraging Applications of Formal MethodsTiziana Maragria, Bernhard Steffen

Leveraging Applications of Formal Methods

Tiziana Maragria, Bernhard Steffen · Springer London, Limited

Sayfa sayısı yok · 2006

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation : Engineering PrinciplesTiziana Margaria, Bernhard Steffen

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

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok

Computer software, verificationLeveraging Applications of Formal Methods, Verification and Validation. VerificationTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

Sayfa sayısı yok · 2018

Computer software, validation / Computer software, verification

CiltVerification, Model Checking, and Abstract InterpretationBernhard Steffen, Giorgio Levi

Verification, Model Checking, and Abstract Interpretation

Bernhard Steffen, Giorgio Levi · Springer London, Limited

Sayfa sayısı yok · 2003

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation. PracticeTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria, Bernhard Steffen · Springer

Sayfa sayısı yok · 2022

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation. Software EngineeringTiziana Margaria, Bernhard Steffen

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

Tiziana Margaria, Bernhard Steffen · Springer

Sayfa sayısı yok · 2022

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and LearningTiziana Margaria, Bernhard Steffen

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

Tiziana Margaria, Bernhard Steffen · Springer

Sayfa sayısı yok · 2022

Kategori yok

CiltCombined Power of Research, Education, and DisseminationMike Hinchey, Bernhard Steffen

Combined Power of Research, Education, and Dissemination

Mike Hinchey, Bernhard Steffen · Springer

395 sayfa · 2024

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS ColloquiumTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium

Tiziana Margaria, Bernhard Steffen · Springer

420 sayfa · 2024

Kategori yok