Mathematics of Program Construction, Johan Jeuring
Автор: Ambler Название: The Unified Process Construction Phase ISBN: 192962901X ISBN-13(EAN): 9781929629015 Издательство: Taylor&Francis Рейтинг: Цена: 7195.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Is the Unified Process the be all and end all standard for developing object-oriented component-based software? This book is the second in a four volume series that presents a critical review of the Unified Process
Автор: Philippe Audebaud; Christine Paulin-Mohring Название: Mathematics of Program Construction ISBN: 3540705937 ISBN-13(EAN): 9783540705932 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. This work addresses issues ranging from algorithmics to support for program construction in programming languages and systems.
Автор: Claude Bolduc; Jules Desharnais; Bechir Ktari Название: Mathematics of Program Construction ISBN: 3642133207 ISBN-13(EAN): 9783642133206 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions.
Автор: 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.
Автор: 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.
Описание: 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.
Автор: Nir Piterman; Scott Smolka Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3642367410 ISBN-13(EAN): 9783642367410 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. runtime verification and model checking; timed automata; explicit-state model checking; Buchi automata;
Автор: Christiane Floyd; C. Weiler-K?hn; Heinz Z?llighove Название: Software Development and Reality Construction ISBN: 3642768199 ISBN-13(EAN): 9783642768194 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988.
Автор: Jose Guillermo,.Sanchez Leon Название: Mathematica Beyond Mathematics ISBN: 149879629X ISBN-13(EAN): 9781498796293 Издательство: Taylor&Francis Рейтинг: Цена: 10258.00 р. Наличие на складе: Поставка под заказ.
Описание: Although many books have been written about Mathematica, very few of them cover the new functionality added to the most recent versions of the program. Mathematica Beyond Mathematics: The Wolfram Language in the Real World introduces the new features using real-world examples, based on the experience of the author as a consultant. In the process, you will also learn more about the Wolfram Language and how you can use it to solve a wide variety of problems. The author raises questions from a wide range of topics and answers them by taking full advantage of Mathematica's latest features. For example; What sources of energy does the world really use? How can we calculate tolerance limits in manufacturing processes? Are our cities getting warmer? Is the novel El Quijote written in Pi? How can we find planets outside our solar system?
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
