Formal Methods: Foundations and Applications
| dc.contributor.editor | Gheyi, Rohit | |
| dc.date.accessioned | 2019-08-19T06:51:01Z | |
| dc.date.accessioned | 2024-04-22T11:21:13Z | |
| dc.date.available | 2019-08-19T06:51:01Z | |
| dc.date.available | 2024-04-22T11:21:13Z | |
| dc.date.issued | 2012 | |
| dc.identifier.isbn | 978-3-642-33296-8 | |
| dc.identifier.uri | https://drs.ess.gov.et/handle/12345678/78691 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer-Verlag | en_US |
| dc.subject | Applications | en_US |
| dc.title | Formal Methods: Foundations and Applications | en_US |
| dc.type | Book | en_US |