BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Bernd Finkbeiner

8 cilt bulundu.

Cilt sonuçları

Runtime Verification

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner · Springer

Sayfa sayısı yok · 2011

Kategori yok

Fields of Logic and Computation II

Fields of Logic and Computation II

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte · Springer London, Limited

329 sayfa · 2015

Logic

CiltLautes Denken, «Stimulated Recall» und Dokumentarische MethodeBernd Tesch, Karin Aguado, Claudia Finkbeiner

Lautes Denken, «Stimulated Recall» und Dokumentarische Methode

Bernd Tesch, Karin Aguado, Claudia Finkbeiner · Lang GmbH, Internationaler Verlag der Wissenschaften, Peter

204 sayfa · 2018

Kategori yok

CiltVerification, Model Checking, and Abstract InterpretationBernd Finkbeiner, Thomas Wies

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

CiltRuntime VerificationBernd Finkbeiner, Leonardo Mariani

Runtime Verification

Bernd Finkbeiner, Leonardo Mariani · Springer International Publishing AG

Sayfa sayısı yok · 2019

Kategori yok

Automatic theorem provingAutomated Technology for Verification and AnalysisBernd Finkbeiner, Geguang Pu, Lijun Zhang

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang · Springer London, Limited

520 sayfa · 2015

Automatic theorem proving

CiltDesign and Verification of Cyber-Physical Systems : from Theory to ApplicationsAndreas Rauh, Bernd Finkbeiner, Paul Kröger

Design and Verification of Cyber-Physical Systems : from Theory to Applications

Andreas Rauh, Bernd Finkbeiner, Paul Kröger · Springer

590 sayfa · 2026

Kategori yok

CiltFields of Logic and Computation IIIAndreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner

Fields of Logic and Computation III

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok