Formal specification and software development /
| Основен автор: | Bjørner, D. 1937- |
|---|---|
| Други автори: | Jones, C. B. 1944- |
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Englewood Cliffs NJ :
Prentice/Hall International,
c1982.
|
| Серия: |
Prentice-Hall International series in computer science
|
| Предмети: |
| Провери в Paniza Library, AUBG | Сигнатура: |
Storage QA76.6 .B575 1982 |
|---|