The algebra of weakest preconditions

Abstract :

 

Details

Author Rewitzky IM
URL http://hdl.handle.net/20.500.11892/53969
Date Accessioned 2016-09-22T09:17:40Z
Date Available 2016-09-22T09:17:40Z
Date Created 1990
Identifier URL 1991
Language English
Subject Mathematics, Mathematical statistics and Statistics
Subject 2 Mathematics, Mathematical statistics and Statistics
Alternative Title
Degree Type Masters degree
Degree Description  MSc