Showing
1 - 2
results of
2
for search '
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Reset Filters
Suggested Topics:
Верификация
Reset Filters
Show filters (1)
Suggested Topics:
Верификация
Search Results
Showing
1 - 2
results of
2
for search '
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Верификация моделей программ: Model Checking
by
Кларк, Эдмунд М. младший
Published 2002
Call Number:
Loading...
Located:
Loading...
Перейти в каталог НБ ТГУ
Book
2
Верификация программного обеспечения учебное пособие
by
Синицын, Сергей Владимирович
,
Налютин, Никита Юрьевич
Published 2008
Call Number:
Loading...
Located:
Loading...
Перейти в каталог НБ ТГУ
Book
Search Tools:
Get RSS Feed
Back
Narrow Search
Format
Book
2
Exclude matching results
Library
НБ ТГУ
2
Exclude matching results
Author
Грамберг, Орна
1
Exclude matching results
Кларк, Эдмунд М. младший
1
Exclude matching results
Налютин, Никита Юрьевич
1
Exclude matching results
Пелед, Дорон
1
Exclude matching results
Синицын, Сергей Владимирович
1
Exclude matching results
Смелянский, Руслан Леонидович
1
Exclude matching results
Language
Russian
2
Exclude matching results
Year of Publication
From:
To:
Loading...