Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Tests and Proofs, Bernhard Beckert; Reiner H?hnle


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

Добавить в корзину
в Мои желания

Автор: Bernhard Beckert; Reiner H?hnle
Название:  Tests and Proofs
ISBN: 9783540791232
Издательство: Springer
Классификация:
ISBN-10: 354079123X
Обложка/Формат: Paperback
Страницы: 203
Вес: 0.33 кг.
Дата издания: 2008
Серия: Lecture Notes in Computer Science
Язык: English
Иллюстрации: Illustrations
Размер: 159 x 232 x 12
Читательская аудитория: Postgraduate, research & scholarly
Подзаголовок: Second international conference, tap 2008, prato, italy, april 9-11, 2008, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.


Tests and Proofs

Автор: Catherine Dubois
Название: Tests and Proofs
ISBN: 3642029485 ISBN-13(EAN): 9783642029486
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009.

Tests and Proofs

Автор: Aichernig
Название: Tests and Proofs
ISBN: 3319411349 ISBN-13(EAN): 9783319411347
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions.

Tests and Proofs

Автор: Gordon Fraser; Angelo Gargantini
Название: Tests and Proofs
ISBN: 3642139760 ISBN-13(EAN): 9783642139765
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия