Search DSpace
Advanced Search
Home
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Sign on to:
Receive email
updates
My DSpace
authorized users
Edit Profile
Help
About DSpace
Research at Burgas Free University
>
Browsing by Subject modeling tools, formal code review, programme verification, pragramme synthesis, education in programming
Jump to:
0-9
or enter first few letters:
Sort by:
submit date
issue date
title
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 1 of 1
Issue Date
Title
Author(s)
2020
ПОДХОДИ ЗА МОДЕЛИРАНЕ И ВЕРИФИКАЦИЯ НА ПРОГРАМНО ОСИГУРЯВАНЕ
Орозова, Даниела
Showing results 1 to 1 of 1
DSpace Software
Copyright © 2002-2010
Duraspace
-
Feedback
