An Interactive environment supporting the development of formally correct programs /

Gardado en:
Detalles Bibliográficos
OCLC:43360590
Autor Principal: Långbacka, Thomas
Autor Corporativo: Åbo akademi (1918- )
Idioma:English
Publicado: Turku : Turku Center for Computer Science, 1997.
Series:TUCS dissertations, no. 7.
Subjects:
Formato:

Thesis Monograph

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

Borrow this resource

Item List

Descripción Local Call Number Status
P-00488250 Dispoñible