booktheque

Semantik und Programmverifikation

Christoph Walther · 2001

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2001
Language
German
Series
TEUBNER-TEXTE zur Informatik -- 34,
Publisher
Vieweg+Teubner Verlag
Editions
1
ISBN
9783322867681

Data source: Wikidata

More by Christoph Walther

A many-sorted calculus based on resolution and paramodulation
Christoph Walther · 2014
Semantik und Programmverifikation
Christoph Walther · 2012
Automatisierung von Terminierungsbeweisen
Christoph Walther · 1991
Automatisierung Von Terminierungsbeweisen
Christoph Walther · 1991