Computer verification of algorithms using a formal proof system:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Kaiser, Markus (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: Berlin dissertation.de 2010
Ausgabe:Als Ms. gedr.
Schriftenreihe:dissertation.de 1583
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:198 S. graph. Darst. 25 cm
ISBN:9783866244832

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis