booktheque

Semantik und Programmverifikation

Christoph Walther · 2012

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
2012
Publisher
Vieweg+Teubner Verlag
Editions
1
Pages
216
ISBN
9783519003366

Data source: Wikidata

More by Christoph Walther

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