Formal Methods in Software Engineering
| dc.contributor.author | Istenes, Zoltán | |
| dc.date.accessioned | 2026-09-09T13:45:36Z | |
| dc.date.issued | 2014 | |
| dc.format | ||
| dc.format.extent | 98 p. | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/77831 | |
| dc.language | angol | |
| dc.language.rfc3066 | en | |
| dc.subject | informatics | en |
| dc.subject | formal methods | en |
| dc.subject | B method | en |
| dc.subject | software tools | en |
| dc.subject | Atelier B | en |
| dc.subject | ProB | en |
| dc.title | Formal Methods in Software Engineering | en |
| dc.type | Tananyag | |
| dspace.entity.type | LearningObject | |
| project.projectnumber | TÁMOP-4.1.2.A/1-11/1-2011-0052 | |
| relation.isAuthorOfLearningObject | 995f078b-762f-481a-aae9-71fb301d2804 | |
| relation.isAuthorOfLearningObject.latestForDiscovery | 995f078b-762f-481a-aae9-71fb301d2804 |
Files
Original bundle
1 - 1 of 1