Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
<p>This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.</p><p>The 20 revised full papers presented together with 2 invited talks and 2 tutorials w...
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,
7152 |
| Á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.