Abstract Algebra of Program Refinement

University dissertation from Åbo, Finland : Åbo Akademi, TUCS

Author: Kim Solin; [2007]

Keywords: Natural Sciences Computer and Information Science Computer Science; Naturvetenskap Data- och informationsvetenskap Datavetenskap datalogi ; program refinement; the logic of action; abstract algebra; Computer Science; Datavetenskap;

Abstract:

This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.