Formal Methods for Eternal Networked Software Systems

Simple item page
dc.contributor.editorBernardo, Marco
dc.contributor.editorIssarny, Valérie
dc.date.accessioned2019-01-09T07:26:42Z
dc.date.accessioned2024-06-28T14:01:07Z
dc.date.available2019-01-09T07:26:42Z
dc.date.available2024-06-28T14:01:07Z
dc.date.issued2011
dc.identifier.isbn978-3-642-21455-4
dc.identifier.urihttps://drs.ess.gov.et/handle/123456789/34155
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.subjectFormal Methods for Eternal Networked Software Systemsen_US
dc.titleFormal Methods for Eternal Networked Software Systemsen_US
dc.typeBooken_US

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
12.pdf.pdf
Size:
11.63 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description:
Download

Collections

Information Technology
@ ETHIOPIAN STATISTICAL SERVICE 2024