Clive L.N. Ruggles; Derek Andrews; David Blyth; Co Formal Methods in Standards 9783540195771

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

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

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

в Мои желания

Автор: Clive L.N. Ruggles; Derek Andrews; David Blyth; Co
Название: Formal Methods in Standards
ISBN: 9783540195771
Издательство: Springer
Классификация:

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

ISBN-10: 3540195777
Обложка/Формат: Paperback
Страницы: 135
Вес: 0.25 кг.
Дата издания: 30.07.1990
Язык: English
Размер: 244 x 170 x 8
Основная тема: Computer Science
Подзаголовок: A Report from the BCS Working Group
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 A survey of formal methods . 1 FDTs and FSLs for sequential software . 3 me too . 6 Clear . l . 3 Graphical formalisms . 2 Higraphs . 4 Less formal methods and notations . 2 Structured Design . 3 SSADM and LSDM . 5 HDM and the SPECIAL language .

Formal Methods in Standards, Clive L.N. Ruggles; Derek Andrews; David Blyth; Co