Safe languages mechanisms for modularization and concurrency /

Saved in:
Bibliographic Details
OCLC:45492654
Main Author: Büchi, Martin
Corporate Author: Åbo akademi (1918- )
Language:English
Published: Turku, Finland : Painosalama Oy, 2000.
Series:TUCS dissertations, no. 28.
Subjects:
Méthodes formelles (informatique).
Ordinateurs > Programmation.
Logiciels > Vérification.
Logiciels > Spécification.
Format:

Thesis Monograph

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

Borrow this resource

Item List

Description Local Call Number Status
P-00001813 Available

Similar Items