Marc Frappier; Uwe Gl?sser; Sarfraz Khurshid; R?gi Abstract State Machines, Alloy, B and Z 9783642118104

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

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

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

в Мои желания

Автор: Marc Frappier; Uwe Gl?sser; Sarfraz Khurshid; R?gi
Название: Abstract State Machines, Alloy, B and Z
ISBN: 9783642118104
Издательство: Springer
Классификация:

Дискретная математика

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

Алгоритмы и структуры данных

Теория вычислительных машин и систем, кибернетика

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

Разработка и эксплуатационная простота пользовательского интерфейса

ISBN-10: 3642118100
Обложка/Формат: Paperback
Страницы: 430
Вес: 0.66 кг.
Дата издания: 2010
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: 95 black & white illustrations, biography
Размер: 231 x 152 x 23
Читательская аудитория: Professional & vocational
Подзаголовок: Second international conference, abz 2010, orford, qc, canada, february 22-25, 2010 : proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers.

Abstract State Machines, Alloy, B and Z, Marc Frappier; Uwe Gl?sser; Sarfraz Khurshid; R?gi