Поиск :
Личный кабинет :
Электронный каталог: Mathematical methods of specification and synthesis of software systems'85
Mathematical methods of specification and synthesis of software systems'85
Книга
Автор:
Mathematical methods of specification and synthesis of software systems'85 : Proc. of the Intern. Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985
Серия: Mathematical Research
Издательство: Akademie-Verlag, 1986 г.
ISBN 3-05-500018-8
Автор:
Mathematical methods of specification and synthesis of software systems'85 : Proc. of the Intern. Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985
Серия: Mathematical Research
Издательство: Akademie-Verlag, 1986 г.
ISBN 3-05-500018-8
Заказать 
На полку
Книга
681.3
Mathematical methods of specification and synthesis of software systems'85: Proc. of the Intern. Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985 / ed. Wolfgang Bibel, K.P. Jantke. – Berlin: Akademie-Verlag, 1986. – 245 p.: ill. – (Mathematical Research, ISSN 0138-3019; Bd.31) . - [Пер.загл.: Математические методы спецификации и синтеза программного обеспечения систем'85]. – На англ. яз. - ISBN 3-05-500018-8. - ISSN 0138-3019: 7.78.
681.3.06
общий = ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
общий = ПРОГРАММИРОВАНИЯ СИСТЕМЫ
681.3
Mathematical methods of specification and synthesis of software systems'85: Proc. of the Intern. Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985 / ed. Wolfgang Bibel, K.P. Jantke. – Berlin: Akademie-Verlag, 1986. – 245 p.: ill. – (Mathematical Research, ISSN 0138-3019; Bd.31) . - [Пер.загл.: Математические методы спецификации и синтеза программного обеспечения систем'85]. – На англ. яз. - ISBN 3-05-500018-8. - ISSN 0138-3019: 7.78.
681.3.06
общий = ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
общий = ПРОГРАММИРОВАНИЯ СИСТЕМЫ
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ЧЗ ЗИ | 1 | 1 | 1 | Заказать |