登入選單
Google圖書搜尋
A sound and relatively complete Hoare-logic for a ...
作者
Werner Damm / Bernhard Josko
出版1982
ISBN
OCLC:74822945
On expressive interpretations of a hoare-logic for...
作者
Bernhard Josko
出版1983
ISBN
OCLC:46016305
MULTIC-Tooling
作者
Eckard Böde / Werner Damm / Günter Ehmen / Martin Fränzle / Kim Grüttner / Philipp Ittershagen / Bernhard Josko / Björn Koopmann / Frank Poppen / Michael Siegel / Ingo Stierand
出版2019
ISBN
OCLC:1158630763
A sound and relatively complete Hoare-Logic for a ...
出版1982
ISBN
OCLC:916693473
Modelchecking of CTL formulae under liveness assum...
作者
Bernhard Josko
出版1986
ISBN
OCLC:46081057
A note on expressivity definitions in Hoare logics
作者
Bernhard Josko
出版1982
ISBN
OCLC:46073890
A Hoare-Calculus for Algol-Like Programming Langua...
作者
Bernhard Josko
出版1985
ISBN
OCLC:475919077
Expressive interpretations with respect to a highe...
作者
Bernhard Josko
出版1985
ISBN
OCLC:46144804
Design Paradigms for Multi-layer Time Coherency in...
作者
Eckard Böde / Matthias Büker / Werner Damm / Günter Ehmen / Martin Fränzle / Sebastian Gerwinn / Thomas Goodfellow / Kim Grüttner / Bernhard Josko / Björn Koopmann / Thomas Peikenkamp / Frank Poppen / Philipp Reinkemeier / Michael Siegel / Ingo Stierand
出版2017
ISBN
OCLC:1303075273
Modular specification and verification of reactive...
作者
Bernhard Josko
出版1993
ISBN
OCLC:257113606
Specification and Verification of VHDL-based Syste...
作者
Werner Damm / Bernhard Josko / Rainer Schlör
出版1995
ISBN
OCLC:257940910
Chronik Klein Petersdorf im Kuhländchen
作者
Bernhard Josko
出版2024
ISBN
OCLC:1472202649
Schulchronik der Volksschule zu Groß Petersdorf
作者
Bernhard Josko
出版2021
ISBN
OCLC:1284874060
CRYSTAL
作者
Bernhard Josko / Thomas Peikenkamp / Frédéric Loiret / Guilherme Baumgarten / Philipp Reinkemeier
出版2017
ISBN
OCLC:981930301
SPES 2020_XTCore - Softwareplattform Embedded syst...
作者
Bernhard Josko / Thomas Peikenkamp / Ingo Stierand / Thomas Strathmann / Raphael Weber
出版2016
ISBN
OCLC:958373978
NELA, Neuartige Elektronische Luftfahrtsysteme Ans...
作者
Bernhard Josko / Thomas Peikenkamp / Stefan Henkler
出版2014
ISBN
OCLC:951457723
SUCCESS 2006
作者
Ralf Buschermöhle / Heike Eekhoff / Bernhard Josko
出版2006
ISBN
3814220358 / 9783814220352