Computer aided verification : international conference, CAV : proceedings.
Պահպանված է:
| Համատեղ հեղինակ: | |
|---|---|
| Ձևաչափ: | Պարբերական |
| Լեզու: | English |
| Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1989-.
|
| Շարք: | Lecture notes in computer science.
|
| Խորագրեր: |
CARM 1 Store
| Դասիչ: |
A2:AL21B0 B05663 A2:AM09F0 C05505 A2:AM09F0 C05508 |
|---|---|
| Պատճեն 1 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 2 | Հասանելի է Տեղադրեք պահում |
| Պատճեն 3 | Հասանելի է Տեղադրեք պահում |