Zoeken

U zocht naar: Auteur Peled, Doron Filter Auteur: Peled, Doron weghalen Fulltext online Filter Fulltext: online weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Auteur:
Artho; Legay, Axel; Peled, Doron
Uitgever:
Springer International Publishing 2016
Type:
e-book
2. Runtime Verification
thumbnail
Full text!
Auteur:
Bensalem, Saddek; Kanade, Takeo; Peled, Doron A.; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
3. Time for Verification
thumbnail
Full text!
Auteur:
Manna, Zohar; Kanade, Takeo; Peled, Doron A.; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
4. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Logozzo, Francesco; Peled, Doron A.; Zuck, Lenore D.; Zuck, Leonore D.
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
5. Model Checking and Artificial Intelligence
thumbnail
Full text!
Auteur:
Peled, Doron A.; Kanade, Takeo; Wooldridge, Michael J.; Kittler, Josef; Wooldridge, Michael
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book