Mechanised formal reasoning about modular programs /

Gespeichert in:
Bibliographische Detailangaben
OCLC:45492652
1. Verfasser: Laibinis, Linas
Körperschaft: Åbo akademi (1918- )
Sprache:English
Veröffentlicht: Turku, Finland : Painosalama Oy, 2000.
Schriftenreihe:TUCS dissertations, no. 24.
Schlagworte:
Calcul infinitésimal.
Ordinateurs > Programmation.
Logique informatique.
Méthodes formelles (informatique).
Format:

Abschlussarbeit Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Beschreibung Local Call Number Status
P-00001814 Verfügbar

Ähnliche Einträge