Kedar Namjoshi; Tomohiro Yoneda; Teruo Higashino; Automated Technology for Verification and Analysis 9783540755951

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

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

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

в Мои желания

Автор: Kedar Namjoshi; Tomohiro Yoneda; Teruo Higashino;
Название: Automated Technology for Verification and Analysis
ISBN: 9783540755951
Издательство: Springer
Классификация:

Промышленный дизайн

Автоматизированное проектирование (САПР)

ISBN-10: 3540755950
Обложка/Формат: Paperback
Страницы: 580
Вес: 0.88 кг.
Дата издания: 2007
Серия: Lecture Notes in Computer Science
Язык: English
Иллюстрации: Illustrations
Размер: 236 x 155 x 33
Читательская аудитория: Professional & vocational
Подзаголовок: 5th international symposium, atva 2007 tokyo, japan, october 22-25, 2007 proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. This book presents 29 revised full papers together with 7 short papers that were reviewed and selected from 88 submissions.

Automated Technology for Verification and Analysis, Kedar Namjoshi; Tomohiro Yoneda; Teruo Higashino;