Tools and Algorithms for the Construction and Analysis of Systems
| dc.contributor.editor | Kowalewski, Stefan | |
| dc.contributor.editor | Philippou, Anna | |
| dc.date.accessioned | 2019-03-19T08:00:28Z | |
| dc.date.accessioned | 2024-07-02T04:40:32Z | |
| dc.date.available | 2019-03-19T08:00:28Z | |
| dc.date.available | 2024-07-02T04:40:32Z | |
| dc.date.issued | 2009 | |
| dc.identifier.isbn | 978-3-642-00767-5 | |
| dc.identifier.isbn | 3-642-00767-8 | en_US |
| dc.identifier.uri | https://drs.ess.gov.et/handle/123456789/55262 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer-Verlag | en_US |
| dc.subject | Construction Law | en_US |
| dc.title | Tools and Algorithms for the Construction and Analysis of Systems | en_US |
| dc.title.alternative | 15th International Conference, TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 York, UK, March 22-29, 2009 Proceedings | en_US |
| dc.type | Book | en_US |