Unifying Theories of Programming and Formal Engineering Methods
| dc.contributor.editor | Liu, Zhiming | |
| dc.date.accessioned | 2019-03-06T14:43:12Z | |
| dc.date.accessioned | 2024-04-22T11:22:12Z | |
| dc.date.available | 2019-03-06T14:43:12Z | |
| dc.date.available | 2024-04-22T11:22:12Z | |
| dc.date.issued | 2013 | |
| dc.identifier.isbn | 978-3-642-39721-9 | |
| dc.identifier.uri | https://drs.ess.gov.et/handle/12345678/51552 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.subject | Theories of Programming | en_US |
| dc.subject | Hybrid Systems | en_US |
| dc.title | Unifying Theories of Programming and Formal Engineering Methods | en_US |
| dc.type | Book | en_US |