Showing
1 - 5
results of
5
for search '
Cousot, Radhia
'
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
Cousot, Radhia
Showing
1 - 5
results of
5
for search '
Cousot, Radhia
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
Published:
2003
Located:
Loading...
Plný text
Book
Saved in:
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Published:
2005
Located:
Loading...
Plný text
Book
Saved in:
Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
Published:
2005
Located:
Loading...
Plný text
eBook
Saved in:
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Published:
2010
Located:
Loading...
Plný text
eBook
Saved in:
Static analysis : Third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
Published:
1996
Located:
Loading...
Book
Loading...
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
programovací jazyky
softwarové inženýrství
informatika
programování
analýza
aplikační programy
matematická logika
verifikace programu
×
Loading...