كتاب إلكتروني
Entailment of Non-structural Subtype Constraints
العنوان: | Entailment of Non-structural Subtype Constraints |
---|---|
المؤلفون: | Niehren, JoachimAff6, Priesnitz, TimAff6 |
المساهمون: | Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, Thiagarajan, P. S., editorAff4, Yap, Roland, editorAff5 |
المصدر: | Advances in Computing Science — ASIAN’99 : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings. 1742:251-265 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783540668565 9783540466741 |
---|---|
DOI: | 10.1007/3-540-46674-6_22 |