Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in top...
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | , |
| Formáid: | Ríomhleabhar |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012.
|
| Sraith: | Lecture Notes in Computer Science
7358 |
| Ábhair: | |
| Rochtain ar líne: | Click here to view the full text content |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Cothabháil á déanamh ar an gcóras
Níl fáil ar ár mbunachar sonraí beo faoi láthair.
Labhair le ball foirne sula gcuirfidh tú iarratas isteach toisc go bhféadfadh sé nach bhfuil an fhaisnéis atá á taispeáint anseo cothrom le dáta.