Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 9783540151999

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

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

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

в Мои желания

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 9783540151999
Издательство: Springer
Классификация:

Энциклопедии и справочные материалы

Компьютерное программирование / разработка по

Языки программирования и описания сценариев: общие сведения

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

ISBN-10: 3540151990
Обложка/Формат: Paperback
Страницы: 459
Вес: 0.66 кг.
Дата издания: 01.03.1985
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 24
Основная тема: Computer Science
Подзаголовок: Volume 2: Colloquium on Software Engineering (CSE)
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985, Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja