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

Logics of Programs, D. Kozen


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

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

Автор: D. Kozen
Название:  Logics of Programs
ISBN: 9783540112129
Издательство: Springer
Классификация:

ISBN-10: 354011212X
Обложка/Формат: Paperback
Страницы: 429
Вес: 0.61 кг.
Дата издания: 01.03.1982
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 23
Основная тема: Computer Science
Подзаголовок: Workshop, Yorktown Heights, NY, USA
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: With contributions by nummerous experts


Logics of Programs and Their Applications

Автор: A. Salwicki
Название: Logics of Programs and Their Applications
ISBN: 3540119817 ISBN-13(EAN): 9783540119814
Издательство: Springer
Рейтинг:
Цена: 3213.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Types for Proofs and Programs

Автор: Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro
Название: Types for Proofs and Programs
ISBN: 3642024432 ISBN-13(EAN): 9783642024436
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy.

Logics of Programs

Автор: E. Clarke; D. Kozen
Название: Logics of Programs
ISBN: 3540128964 ISBN-13(EAN): 9783540128960
Издательство: Springer
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Theorem Proving in Higher Order Logics

Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar
Название: Theorem Proving in Higher Order Logics
ISBN: 3540710655 ISBN-13(EAN): 9783540710653
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Logics in Computer Science

Название: Logics in Computer Science
ISBN: 9491216945 ISBN-13(EAN): 9789491216947
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Semantics, Logics, and Calculi

Автор: Christian W. Probst; Chris Hankin; Ren? Rydhof Han
Название: Semantics, Logics, and Calculi
ISBN: 3319278096 ISBN-13(EAN): 9783319278094
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.

Logics in Computer Science

Автор: Fabio Mogavero
Название: Logics in Computer Science
ISBN: 9462390568 ISBN-13(EAN): 9789462390560
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Many-Valued Logics 2

Автор: Leonard Bolc; Piotr Borowik
Название: Many-Valued Logics 2
ISBN: 3642084176 ISBN-13(EAN): 9783642084171
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many-valued logics are becoming increasingly important in all areas of computer science. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory.

Genetic Algorithms + Data Structures = Evolution Programs

Автор: Zbigniew Michalewicz
Название: Genetic Algorithms + Data Structures = Evolution Programs
ISBN: 3642082335 ISBN-13(EAN): 9783642082337
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hence evolution programming techniques, based on genetic algorithms, are applicable to many hard optimization problems, such as optimization of functions with linear and nonlinear constraints, the traveling salesman problem, and problems of scheduling, partitioning, and control.

Programs, Proofs, Processes

Автор: Fernando Ferreira; Benedikt L?we; Elvira Mayordomo
Название: Programs, Proofs, Processes
ISBN: 3642139612 ISBN-13(EAN): 9783642139611
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010.


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