Safe languages mechanisms for modularization and concurrency /

Gardado en:
Detalles Bibliográficos
OCLC:45492654
Autor Principal: Büchi, Martin
Autor Corporativo: Åbo akademi (1918- )
Idioma:English
Publicado: Turku, Finland : Painosalama Oy, 2000.
Series:TUCS dissertations, no. 28.
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-00001813 Dispoñible