Dynamic dispatch for method contracts through abstract predicates:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Mostowski, Wojciech (VerfasserIn), Ulbrich, Mattias (VerfasserIn)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham Springer [2016]
Links:https://www.doabooks.org/doab?func=fulltext&uiLanguage=en&rid=26087