Showing
1 - 2
results of
2
for search '
Logozzo, Francesco
'
Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Home
Author
Logozzo, Francesco
Showing
1 - 2
results of
2
for search '
Logozzo, Francesco
'
, query time: 0.09s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Static analysis : 20th international symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings
Published:
2013
Located:
Loading...
Plný text
eBook
Saved in:
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Published:
2008
Located:
Loading...
Plný text
eBook
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
informatika
programovací jazyky
softwarové inženýrství
formální jazyky
matematická logika
počítače
programování
×
Loading...