Constructing programs from specifications : Proceedings of the IFIP TC2/WG 2.1 Working conference on Constructing programs from specifications, Pacific Grove, CA, USA, 13-16 May 1991 /
| Автор-организации: | IFIP TC2/WG 2.1 Working conference on Constructing programs from specifications Pacific Grove, CA, USA |
|---|---|
| Други автори: | Moller, B. (ed.) |
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Amsterdam :
North-Holland,
1991.
|
| Предмети: |
| Налични ЦБ-БАН | Сигнатура: |
BBlSd-77 |
|---|