Program Development by Refinement, Emil Sekerinski; Kaisa Sere

Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M
Название: Interactive Theorem Proving and Program Development
ISBN: 3642058809 ISBN-13(EAN): 9783642058806
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

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

Автор: Vytautas ?tuikys; Robertas Dama?evi?ius
Название: Meta-Programming and Model-Driven Meta-Program Development
ISBN: 1447159543 ISBN-13(EAN): 9781447159544
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a comprehensive analysis of meta-programming, focusing on insights of meta-programming techniques, heterogeneous meta-program development processes in the context of model-driven, feature-based and transformative approaches.

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

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

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

Автор: Berthold Hoffmann; Bernd Krieg-Br?ckner
Название: Program Development by Specification and Transformation
ISBN: 354056733X ISBN-13(EAN): 9783540567332
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.

Автор: Manfred Broy; Birgit Schieder
Название: Mathematical Methods in Program Development
ISBN: 3642645887 ISBN-13(EAN): 9783642645884
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996

Автор: Olivier Danvy; Fritz Henglein; Harry Mairson; Albe
Название: Automatic Program Development
ISBN: 9048176743 ISBN-13(EAN): 9789048176748
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.