Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: zn.pvs Sprache: PVS

Untersuchung Coq^©

\newpage
\section*{The Coq kernel}

\ocwsection \label{kernel}
This chapter describes the \Coq\ kernel, which is a type checker for the \CCI.
The modules of the kernel are organized as follows.

\bigskip
\begin{center}\epsfig{file=kernel.dep.ps,width=\linewidth}\end{center}

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.31Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤

Kontakt Drucken
Kontakt Hier finden Sie eine Liste der Produkte des Unternehmens
Eigene Datei ansehen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Entwicklung einer Software für die statische Quellcodeanalyse