Computer aided verification : international conference, CAV : proceedings.
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Formáid: | Sraithuimhir |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Berlin ; New York :
Springer-Verlag,
1989-.
|
| Sraith: | Lecture notes in computer science.
|
| Ábhair: |
CARM 1 Store
| Gairmuimhir: |
A2:AL21B0 B05663 A2:AM09F0 C05505 A2:AM09F0 C05508 |
|---|---|
| Cóip 1 | Ar fáil Cuir coinneáil air |
| Cóip 2 | Ar fáil Cuir coinneáil air |
| Cóip 3 | Ar fáil Cuir coinneáil air |