On the Refinement Calculus, Carroll Morgan; Trevor Vickers
Автор: 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.
Автор: 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: 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.
Автор: de Roever Название: Data Refinement ISBN: 0521641705 ISBN-13(EAN): 9780521641708 Издательство: Cambridge Academ Рейтинг: Цена: 19800.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Graduate text in formal methods in computer science.
Автор: 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