Showing
1 - 1
results of
1
for search '
Nahir, Amir
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Nahir, Amir
Showing
1 - 1
results of
1
for search '
Nahir, Amir
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Published in
Springer eBooks
(2013)
Other Authors:
“
...
Nahir
,
Amir
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
Search Tools:
Get RSS Feed
Related Subjects
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Science
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Loading...