Soren Prehn; Hans Toetenel VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings 9783540548348

Варианты приобретения

Цена: 111790.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 110 шт.
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Soren Prehn; Hans Toetenel
Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
ISBN: 9783540548348
Издательство: Springer
Классификация:

Технология разработки программного обеспечения

ISBN-10: 3540548343
Обложка/Формат: Paperback
Страницы: 705
Вес: 1.00 кг.
Дата издания: 14.10.1991
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 37
Основная тема: Computer Science
Подзаголовок: Volume 1: Conference Contributions
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings, Soren Prehn; Hans Toetenel