Semantik und ProgrammverifikationChristoph Walther

Semantik und Programmverifikation

Christoph Walther · 2012

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2012
הוצאה: Vieweg+Teubner Verlag
מהדורות: 1
עמודים: 216
ISBN: 9783519003366

מקור הנתונים: Wikidata

עוד של Christoph Walther

A many-sorted calculus based on resolution and paramodulationChristoph Walther

A many-sorted calculus based on resolution and paramodulation

Christoph Walther · 2014

Semantik und ProgrammverifikationChristoph Walther

Semantik und Programmverifikation

Christoph Walther · 2001

Automatisierung von TerminierungsbeweisenChristoph Walther

Automatisierung von Terminierungsbeweisen

Christoph Walther · 1991

Automatisierung Von TerminierungsbeweisenChristoph Walther

Automatisierung Von Terminierungsbeweisen

Christoph Walther · 1991