Maurice Naftalin; Tim Denvir; Miquel Bertran FME `94: Industrial Benefit of Formal Methods 9783540585558

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

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

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

в Мои желания

Автор: Maurice Naftalin; Tim Denvir; Miquel Bertran
Название: FME `94: Industrial Benefit of Formal Methods
ISBN: 9783540585558
Издательство: Springer
Классификация:

Электронные таблицы

ISBN-10: 3540585559
Обложка/Формат: Hardcover
Страницы: 732
Вес: 1.02 кг.
Дата издания: 12.10.1994
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 38
Основная тема: Computer Science
Подзаголовок: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume of conference proceedings contains discussion of process modelling, model checking, real-time aspects, refinement proof and the specification of programming languages. Industrial usage reports describe experiences in a variety of areas, including railway signalling.

FME `94: Industrial Benefit of Formal Methods, Maurice Naftalin; Tim Denvir; Miquel Bertran