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

Refinement in Z and Object-Z, John Derrick; Eerke A. Boiten


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

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

Автор: John Derrick; Eerke A. Boiten
Название:  Refinement in Z and Object-Z
ISBN: 9781447161677
Издательство: Springer
Классификация:

ISBN-10: 144716167X
Обложка/Формат: Paperback
Страницы: 492
Вес: 0.71 кг.
Дата издания: 23.08.2015
Язык: English
Размер: 234 x 156 x 26
Основная тема: Computer Science
Подзаголовок: Foundations and Advanced Applications
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


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.

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.

Data Refinement

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

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

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.

Formal Refinement for Operating System Kernels

Автор: Iain D. Craig
Название: Formal Refinement for Operating System Kernels
ISBN: 1849966893 ISBN-13(EAN): 9781849966894
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification.

6th Refinement Workshop

Автор: David Till
Название: 6th Refinement Workshop
ISBN: 3540198865 ISBN-13(EAN): 9783540198864
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods.

On the Refinement Calculus

Автор: Carroll Morgan; Trevor Vickers
Название: On the Refinement Calculus
ISBN: 3540199314 ISBN-13(EAN): 9783540199311
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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


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