ІВ213877
Eriksson, Johannes.
Tool-Supported Invariant-Based Programming [Text] : diss. / Johannes Eriksson ; Åbo akad. univ., Dep. of inform. technologies. - Turku : Åbo Akad. Univ., 2010. - 163 p. : tab., fig. - (TUCS Dissertations / Turku centre for computer science, ISSN 1239-1883 ; №127, August 2010). - Бібліогр.: с. 151-163. - ISBN 978-952-12-2443-0

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Åbo Akademi University. Department of information technologies

Видання зберігається у :
Основний фонд