Поиск :
Личный кабинет :
Электронный каталог: Fachsprachen und Programmverifikation
Fachsprachen und Programmverifikation
Книга
Автор:
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 | Заказать |