An Interactive environment supporting the development of formally correct programs /

Na minha lista:
Detalhes bibliográficos
OCLC:43360590
Autor principal: Långbacka, Thomas
Autor Corporativo: Åbo akademi (1918- )
Idioma:English
Publicado em: Turku : Turku Center for Computer Science, 1997.
Colecção:TUCS dissertations, no. 7.
Assuntos:
Formato:

Thesis Monograph

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

Borrow this resource

Item List

Descrição Local Call Number Estado
P-00488250 Disponível