Formal Refinement for Operating System Kernels, Iain D. Craig

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

Описание: Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels;

Автор: 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.

Автор: 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 .

Автор: 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.

Автор: 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.

Автор: 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.