Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>A=Malik Q$<.>) |
Загальна кількість знайдених документів : 1
|
1. | ІВ213880 Malik, Qaisar Ahmad. Combining model-based testing and stepwise formal development [Text] : diss. / Qaisar Ahmad Malik ; Åbo akad. univ. Dep. of Inform. technologies. - Turku : Åbo Akad. Univ., 2010. - [Pag. var.] : fig., tab. - (TUCS Dissertations / Turku centre for computer science, ISSN 1239-1883 ; № 130, October 2010). - ISBN 978-952-12-2466-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Åbo Akademi University. Department of information technologies; Turku centre for computer science
Видання зберігається у :
Основний фонд
|
|
|