Please use this identifier to cite or link to this item:
http://localhost:8080/xmlui/handle/123456789/138505
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Mostowski, Wojciech | |
dc.contributor.author | Ulbrich, Mattias | |
dc.date.accessioned | 2019-07-25T07:53:49Z | - |
dc.date.available | 2019-07-25T07:53:49Z | - |
dc.date.issued | 2017 | |
dc.identifier.isbn | 9783319469690 | |
dc.identifier.uri | http://oers.taiwanmooc.org/jspui/handle/123456789/138505 | - |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.relation.uri | http://www.oapen.org/download/?type=document&docid=644831 | |
dc.rights.uri | CC BY (姓名標示) | |
dc.source | DOAB | |
dc.subject.classification | Computer Science | |
dc.subject.other | dispatch | |
dc.subject.other | encapsulation | |
dc.subject.other | ghost | |
dc.title | Dynamic Dispatch for Method Contracts Through Abstract Predicates | |
dc.type | 電子教科書 | |
dc.classification | 自然科學類 | |
Theme: | 教科書-自然科學類 |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.