Semantik und ProgrammverifikationChristoph Walther

Semantik und Programmverifikation

Christoph Walther · 2001

איפה לקנות

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

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

פרטי הספר

שנה: 2001
שפה: German
סדרה: TEUBNER-TEXTE zur Informatik -- 34,
הוצאה: Vieweg+Teubner Verlag
מהדורות: 1
ISBN: 9783322867681

מקור הנתונים: 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 · 2012

Automatisierung von TerminierungsbeweisenChristoph Walther

Automatisierung von Terminierungsbeweisen

Christoph Walther · 1991

Automatisierung Von TerminierungsbeweisenChristoph Walther

Automatisierung Von Terminierungsbeweisen

Christoph Walther · 1991