Extensional Constructs in Intensional Type Theory, Martin Hofmann
Автор: Nicolas Clerbout; Shahid Rahman Название: Linking Game-Theoretical Approaches with Constructive Type Theory ISBN: 3319190628 ISBN-13(EAN): 9783319190624 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.
Описание: Industrial, financial, commercial or any kinds of project have at least one common feature: the better organized they are, the higher the profit or the lower the cost. Project management is the principle of planning different projects and keeping them on track within time, cost and resource constraints.
Описание: This book provides a comprehensive guide for practitioners who wish to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. The theory and methods presented are illustrated through more than 140 examples.
Описание: This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.
Автор: Johan Jeuring Название: Mathematics of Program Construction ISBN: 3540645918 ISBN-13(EAN): 9783540645917 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers devoted to the use of clear mathematics in the discovery and design of algorithms and the development of corresponding software and hardware. Various approaches to formal methods for systems design and analysis are covered.
Автор: Tiziana Margaria; Bernhard Steffen Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540610421 ISBN-13(EAN): 9783540610427 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings address current aspects of the design and analysis of distributed systems. The volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.
Автор: Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; T Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540606300 ISBN-13(EAN): 9783540606307 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These papers on tools and algorithms for the construction and analysis systems focus on such areas as refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, and temporal and modal logics.
Автор: Eerke A. Boiten; Bernhard M?ller Название: Mathematics of Program Construction ISBN: 3540438572 ISBN-13(EAN): 9783540438571 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics.
Автор: Joost-Pieter Katoen; Perdita Stevens Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540434194 ISBN-13(EAN): 9783540434191 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more.
Автор: Ralf Hinze; Janis Voigtl?nder Название: Mathematics of Program Construction ISBN: 3319197967 ISBN-13(EAN): 9783319197968 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Koenigswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
Автор: Derrick G. Kourie; Bruce W. Watson Название: The Correctness-by-Construction Approach to Programming ISBN: 3642448542 ISBN-13(EAN): 9783642448546 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.
Автор: Erika Abraham; Klaus Havelund Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 364254861X ISBN-13(EAN): 9783642548611 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
