Поиск :
Личный кабинет :
Электронный каталог: Fachsprachen und Programmverifikation
Fachsprachen und Programmverifikation
Доступно
1 из 1
1 из 1
Книга
Автор:
Fachsprachen und Programmverifikation : Vortrage aus dem Problemseminar vom 27. November bis 1. Dezember 1978 in Weissig
Серия: Weiterbildungszentrum fur Mathematische Kybernetik und Rechentechnik / Informationsverarbeitung
Издательство: Technische Universitat Dresden, 1979 г.
ISBN отсутствует
Автор:
Fachsprachen und Programmverifikation : Vortrage aus dem Problemseminar vom 27. November bis 1. Dezember 1978 in Weissig
Серия: Weiterbildungszentrum fur Mathematische Kybernetik und Rechentechnik / Informationsverarbeitung
Издательство: Technische Universitat Dresden, 1979 г.
ISBN отсутствует
Заказать 
На полку
Книга
681.3 V92
Fachsprachen und Programmverifikation : Vortrage aus dem Problemseminar vom 27. November bis 1. Dezember 1978 in Weissig / Technischen Universitat Dresden. – Dresden : Technische Universitat Dresden, 1979. – 112 S. : Ill. – (Weiterbildungszentrum fur Mathematische Kybernetik und Rechentechnik / Informationsverarbeitung ; Heft 37/79). – [Пер. загл.: Специальные языки и проверка программы сравнением] Leiter des Seminars J. Bormann. – На нем. яз. : 0.00.
681.3.06
общий = ЯЗЫКИ ПРОГРАММИРОВАНИЯ
681.3 V92
Fachsprachen und Programmverifikation : Vortrage aus dem Problemseminar vom 27. November bis 1. Dezember 1978 in Weissig / Technischen Universitat Dresden. – Dresden : Technische Universitat Dresden, 1979. – 112 S. : Ill. – (Weiterbildungszentrum fur Mathematische Kybernetik und Rechentechnik / Informationsverarbeitung ; Heft 37/79). – [Пер. загл.: Специальные языки и проверка программы сравнением] Leiter des Seminars J. Bormann. – На нем. яз. : 0.00.
681.3.06
общий = ЯЗЫКИ ПРОГРАММИРОВАНИЯ
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ЧЗ ЗИ | 1 | 1 | 1 | Заказать |