Futschek, Gerald - Programmentwicklung und Verifikation

Экспресс-заказ фрагмента
Futschek, Gerald.
Programmentwicklung und Verifikation / Gerald Futschek. - Wien; New York : Springer, Cop. 1989. - IX, 183 с. : ил.; 25 см. - (Springers angewandte Informatik, ISSN ISSN_0178-0069).; ISBN 3-211-81867-7

(Springers angewandte Informatik, ISSN ISSN_0178-0069)
Шифр хранения:
FB 5 90-31/5-8

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеProgrammentwicklung und Verifikation
Коллекции ЕЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЕЭК 04.10.1990
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиGerald Futschek
Выходные данныеWien; New York : Springer, Cop. 1989
Физическое описаниеIX, 183 с. : ил.; 25 см
Серия(Springers angewandte Informatik, ISSN ISSN_0178-0069)
ISBNISBN 3-211-81867-7
BBK-кодЗ973.2-018,0
ЯзыкНемецкий
Места храненияFB 5 90-31/5-8