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

Semantics and Algebraic Specification, Jens Palsberg


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

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

Автор: Jens Palsberg
Название:  Semantics and Algebraic Specification
ISBN: 9783642041631
Издательство: Springer
Классификация:





ISBN-10: 3642041639
Обложка/Формат: Paperback
Страницы: 409
Вес: 0.64 кг.
Дата издания: 2009
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: Biography
Размер: 234 x 155 x 23
Читательская аудитория: Professional & vocational
Подзаголовок: Essays dedicated to peter d. mosses on the occasion of his 60th birthday
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.


Logics of Specification Languages

Автор: Dines Bj?rner; Martin C. Henson
Название: Logics of Specification Languages
ISBN: 3642093450 ISBN-13(EAN): 9783642093456
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.


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