Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, Ahmed Asad, Hasan Osman, Awwad Falah
Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M Название: Interactive Theorem Proving and Program Development ISBN: 3642058809 ISBN-13(EAN): 9783642058806 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Matt Kaufmann; Lawrence C. Paulson Название: Interactive Theorem Proving ISBN: 3642140513 ISBN-13(EAN): 9783642140518 Издательство: Springer Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.
Автор: Gerwin Klein; Ruben Gamboa Название: Interactive Theorem Proving ISBN: 3319089692 ISBN-13(EAN): 9783319089690 Издательство: Springer Рейтинг: Цена: 67080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Автор: Christian Urban; Xingyuan Zhang Название: Interactive Theorem Proving ISBN: 3319221019 ISBN-13(EAN): 9783319221014 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Автор: Hasan & Tahar Название: Formalized Probability Theory And Applications Using Theorem Proving ISBN: 1466683155 ISBN-13(EAN): 9781466683150 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 189420.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve.Formalized Probability Theory and Applications Using Theorem Proving discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. Combining practical application with theoretical discussion, this book is an important reference tool for mathematicians, scientists, engineers, and researchers in all STEM fields.
Автор: David M. Sandford Название: Using Sophisticated Models in Resolution Theorem Proving ISBN: 3540102310 ISBN-13(EAN): 9783540102311 Издательство: Springer Рейтинг: Цена: 55890.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Graham Birtwistle; P.A. Subrahmanyam Название: Current Trends in Hardware Verification and Automated Theorem Proving ISBN: 1461281954 ISBN-13(EAN): 9781461281955 Издательство: Springer Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Their idea was to model Viper in a sequence of decreasingly abstract levels, each of which concentrated on some aspect ofthe design, such as the flow ofcontrol, the processingofinstructions, and so on. That is, each model would be a specification of the next (less abstract) model, and an implementation of the previous model (if any).
Автор: Konrad Slind; Annette Bunker; Ganesh C. Gopalakris Название: Theorem Proving in Higher Order Logics ISBN: 3540230173 ISBN-13(EAN): 9783540230175 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Covers the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004. It addresses theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, and computability.
Автор: Blanchette Название: Interactive Theorem Proving ISBN: 3319431439 ISBN-13(EAN): 9783319431437 Издательство: Springer Рейтинг: Цена: 68950.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
Автор: E. Thomas Schubert; Phillip J. Windley; James Alve Название: Higher Order Logic Theorem Proving and Its Applications ISBN: 3540602755 ISBN-13(EAN): 9783540602750 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers in this collection document the advances in the field, and fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.
Автор: Sandrine Blazy; Christine Paulin-Mohring; David Pi Название: Interactive Theorem Proving ISBN: 364239633X ISBN-13(EAN): 9783642396335 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
