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 Рейтинг: Цена: 153720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: John Derrick; Eerke A. Boiten Название: Refinement in Z and Object-Z ISBN: 1447153545 ISBN-13(EAN): 9781447153542 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: John Derrick; Eerke A. Boiten Название: Refinement in Z and Object-Z ISBN: 144716167X ISBN-13(EAN): 9781447161677 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Emil Sekerinski; Kaisa Sere Название: Program Development by Refinement ISBN: 1852330538 ISBN-13(EAN): 9781852330538 Издательство: Springer Рейтинг: Цена: 222670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: de Roever Название: Data Refinement ISBN: 0521641705 ISBN-13(EAN): 9780521641708 Издательство: Cambridge Academ Рейтинг: Цена: 132000.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Graduate text in formal methods in computer science.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
