Keijiro Araki; Andy Galloway; Kenji Taguchi IFM`99 9781852331078

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

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

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

в Мои желания

Автор: Keijiro Araki; Andy Galloway; Kenji Taguchi
Название: IFM`99
ISBN: 9781852331078
Издательство: Springer
Классификация:

Операционные системы

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

Математическая теория вычислений

ISBN-10: 1852331070
Обложка/Формат: Paperback
Страницы: 477
Вес: 0.69 кг.
Дата издания: 25.06.1999
Язык: English
Размер: 234 x 156 x 25
Основная тема: Computer Science
Подзаголовок: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume covers the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. It discusses the theoretical aspects of combining behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.

IFM`99, Keijiro Araki; Andy Galloway; Kenji Taguchi