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-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеProgrammentwicklung und Verifikation
Дата поступления в ЭК 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