Correctness
| dc.contributor.author | Borsi, Zsolt | |
| dc.date.accessioned | 2026-09-09T13:40:14Z | |
| dc.date.issued | 2014 | |
| dc.format | ||
| dc.format.extent | 78 p. | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/77729 | |
| dc.language | angol | |
| dc.language.rfc3066 | en | |
| dc.subject | mathematics | en |
| dc.subject | informatics | en |
| dc.subject | Hoare calculus | en |
| dc.subject | derivation | en |
| dc.subject | temporal logical law | en |
| dc.subject | Owiczki-Gries method | en |
| dc.subject | synthesis of synchronization code | en |
| dc.title | Correctness | en |
| dc.type | Tananyag | |
| dspace.entity.type | LearningObject | |
| project.projectnumber | TÁMOP-4.1.2.A/1-11/1-2011-0052 | |
| relation.isAuthorOfLearningObject | 134246d1-ab71-40c4-bdc0-a25c42d2ca78 | |
| relation.isAuthorOfLearningObject.latestForDiscovery | 134246d1-ab71-40c4-bdc0-a25c42d2ca78 |
Files
Original bundle
1 - 1 of 1