Contracts for system design 9781680834024

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

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

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

в Мои желания

Автор: Benveniste, Albert Caillaud, Benoit Nickovic, Dejan Passerone, Roberto Raclet, Jean-baptiste Reinkemeier, Philipp Sangiovanni-vincentelli, Alberto Dam
Название: Contracts for system design
ISBN: 9781680834024
Издательство: Now publishers inc
Классификация:

Электроника

ISBN-10: 1680834029
Обложка/Формат: Paperback
Страницы: 296
Вес: 0.41 кг.
Дата издания: 28.03.2018
Серия: Foundations and trends(r) in electronic design automation
Язык: English
Размер: 155 x 233 x 22
Читательская аудитория: Professional & vocational
Рейтинг:
Поставляется из: США
Описание: Helps put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.

Contracts for system design, Benveniste, Albert Caillaud, Benoit Nickovic, Dejan Passerone, Roberto Raclet, Jean-baptiste Reinkemeier, Philipp Sangiovanni-vincentelli, Alberto Dam