Mechanised formal reasoning about modular programs /

Na minha lista:
Detalhes bibliográficos
OCLC:45492652
Autor principal: Laibinis, Linas
Autor Corporativo: Åbo akademi (1918- )
Idioma:English
Publicado em: Turku, Finland : Painosalama Oy, 2000.
coleção:TUCS dissertations, no. 24.
Assuntos:
Calcul infinitésimal.
Ordinateurs > Programmation.
Logique informatique.
Méthodes formelles (informatique).
Formato:

Tese 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-00001814 Disponível

Registros relacionados