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

Logics in Computer Science, 


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

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


Название:  Logics in Computer Science
ISBN: 9789491216947
Издательство: Springer
Классификация:



ISBN-10: 9491216945
Обложка/Формат: Hardback
Страницы: 200
Вес: 0.40 кг.
Дата издания: 31.07.2013
Серия: Atlantis studies in computing
Язык: English
Иллюстрации: 15 black & white tables, biography
Размер: 241 x 163 x 15
Читательская аудитория: Professional & vocational
Подзаголовок: A study on extensions of temporal and strategic logics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.


Introduction to paraconsistent logics

Автор: Bremer, Manuel
Название: Introduction to paraconsistent logics
ISBN: 3631534132 ISBN-13(EAN): 9783631534137
Издательство: Peter Lang
Рейтинг:
Цена: 8593.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book shows that while globalization is a dominant force in society, and though news can be instantaneously broadcast internationally, there is relatively little commonality throughout the world in the depiction of events occurring in other countries. The research gathered here is based on a quantitative content analysis of over 17,000 news items and analysis of over 10,000 survey respondents.

Building Relationships: Online Dating and the New Logics of Internet Culture

Автор: Shepherd Dawn
Название: Building Relationships: Online Dating and the New Logics of Internet Culture
ISBN: 149850857X ISBN-13(EAN): 9781498508575
Издательство: Неизвестно
Рейтинг:
Цена: 24829.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Building Relationships uses an apparatus approach to media analysis in order to determine whether the synchronic logic of online dating is compatible with the historically diachronic logic of marriage.

Logics and languages

Автор: Cresswell, M. J.
Название: Logics and languages
ISBN: 113868645X ISBN-13(EAN): 9781138686458
Издательство: Taylor&Francis
Рейтинг:
Цена: 22202.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, originally published in 1991, sets forth the assumptions about thought and language that made falsehood seem so problematic to Plato and his contemporaries, and expounds the solution that Plato finally reached in the Sophist. Free from untranslated Greek, the book is accessible to all studying ancient Greek philosophy.

Proof methods for modal and intuitionistic logics

Автор: Fitting, M.
Название: Proof methods for modal and intuitionistic logics
ISBN: 9048183812 ISBN-13(EAN): 9789048183814
Издательство: Springer
Рейтинг:
Цена: 41647.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.


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