Structured development of implementations for divide-and-conquer specifications
autor
vastutusandmed
Maksym Bortin
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 231
ilmumisaasta
leheküljed
art. 103011, 15 p. : ill
märksõna
võtmesõna
ISSN
0167-6423
märkused
Bibliogr.: 11 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
keel
inglise
Bortin, M. Structured development of implementations for divide-and-conquer specifications // Science of computer programming (2024) vol. 231, art. 103011, 15 p. : ill.