Загрузка...
Introduction to VDM /
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | |
| Язык: | английский |
| Опубликовано: |
London :
McGraw-Hill,
1993.
|
| Серии: | McGraw-Hill International series in Software engineering.
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 001 | 00102539 | ||
| 003 | PWmBRO | ||
| 005 | 20240602103038.0 | ||
| 008 | 960131s1993 enk b 0 010 eng | ||
| 020 | |a 0077074343 | ||
| 100 | 1 | |a Woodman, Mark. | |
| 245 | 1 | 0 | |a Introduction to VDM / |c Mark Woodman and Benedict Heal. |
| 260 | |a London : |b McGraw-Hill, |c 1993. | ||
| 300 | |a xiii, 240 p. | ||
| 440 | 0 | |a McGraw-Hill International series in Software engineering. | |
| 650 | 0 | |a Computer software |x Development. | |
| 700 | 1 | 0 | |a Heal, Benedict. |
| 942 | |2 ddc | ||
| 952 | |0 0 |1 127 |4 0 |6 005_120000000000000_W892 |7 0 |8 MN |9 91423 |a ML015 |b ML015 |c MN |d 2024-06-02 |l 0 |o 005.12 W892 |p 113971 |r 2018-03-27 00:00:00 |w 2018-03-27 |y BK | ||
| 999 | |c 69364 |d 69364 | ||