The foundations of program verification /
Збережено в:
| Автор: | |
|---|---|
| Інші автори: | , |
| Формат: | Книга |
| Мова: | English |
| Опубліковано: |
Stuttgart [Germany] : Chichester ; New York :
B.G. Teubner ; Wiley,
c1984.
|
| Серія: | Wiley-Teubner series in computer science
|
| Предмети: |
CARM 1 Store
| Шифр: |
A2:AG36F0 C02746 |
|---|---|
| Примірник 1 | Доступно Розмістити замовлення |