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

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

Цена: 70080T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 149 шт.
При оформлении заказа до: 17 фев 2025
Ориентировочная дата поставки: Март
При условии наличия книги у поставщика.

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

в Мои желания

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

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

ISBN: 3540195777
ISBN-13(EAN): 9783540195771
Обложка/Формат: Paperback
Страницы: 135
Вес: 0.249 кг.
Дата издания: 30.07.1990
Язык: English
Размер: 244 x 170 x 8
Рейтинг:
Поставляется из: Германии
Описание: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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