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

On the Refinement Calculus, Carroll Morgan; Trevor Vickers


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

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

Автор: Carroll Morgan; Trevor Vickers
Название:  On the Refinement Calculus
ISBN: 9783540199311
Издательство: Springer
Классификация:

ISBN-10: 3540199314
Обложка/Формат: Paperback
Страницы: 159
Вес: 0.25 кг.
Дата издания: 13.12.1994
Серия: Formal Approaches to Computing and Information Technology (FACIT)
Язык: English
Размер: 234 x 156 x 10
Основная тема: Mathematics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra`s programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.


Abstraction, Refinement and Proof for Probabilistic Systems

Автор: Annabelle McIver; Charles Carroll Morgan
Название: Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 1441923128 ISBN-13(EAN): 9781441923127
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .

Presents results of a large and integrated body of research in the area of `quantitative` program logics.

Program Development by Refinement

Автор: Emil Sekerinski; Kaisa Sere
Название: Program Development by Refinement
ISBN: 1852330538 ISBN-13(EAN): 9781852330538
Издательство: Springer
Рейтинг:
Цена: 33401.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.

Refinement in Z and Object-Z

Автор: John Derrick; Eerke A. Boiten
Название: Refinement in Z and Object-Z
ISBN: 1447153545 ISBN-13(EAN): 9781447153542
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Data Refinement

Автор: de Roever
Название: Data Refinement
ISBN: 0521641705 ISBN-13(EAN): 9780521641708
Издательство: Cambridge Academ
Рейтинг:
Цена: 19800.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Graduate text in formal methods in computer science.

Refinement in Z and Object-Z

Автор: John Derrick; Eerke A. Boiten
Название: Refinement in Z and Object-Z
ISBN: 144716167X ISBN-13(EAN): 9781447161677
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.


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