Автор: Arie Gurfinkel; Sanjit A. Seshia Название: Verified Software: Theories, Tools, and Experiments ISBN: 3319296124 ISBN-13(EAN): 9783319296128 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Автор: Manfred Broy; Johannes Gruenbauer; David Harel; To Название: Engineering Theories of Software Intensive Systems ISBN: 1402035306 ISBN-13(EAN): 9781402035302 Издательство: Springer Рейтинг: Цена: 38992.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes contributions from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany, in August 2004. This book presents mathematical foundations of software engineering and engineering methods to examine software engineering techniques and foundations in industries.
Автор: Andrew Butterfield Название: Unifying Theories of Programming ISBN: 3642145205 ISBN-13(EAN): 9783642145209 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.
Автор: Blazy Название: Verified Software. Theories, Tools, and Experiments ISBN: 3319488686 ISBN-13(EAN): 9783319488684 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
Автор: Dimitra Giannakopoulou; Daniel Kroening Название: Verified Software: Theories, Tools and Experiments ISBN: 3319121537 ISBN-13(EAN): 9783319121536 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.
Автор: Natarajan Shankar; Jim Woodcock Название: Verified Software: Theories, Tools, Experiments ISBN: 3540878726 ISBN-13(EAN): 9783540878728 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems.
Автор: Joshua D. Guttman; Mitchell Wand Название: VLISP A Verified Implementation of Scheme ISBN: 0792395662 ISBN-13(EAN): 9780792395669 Издательство: Springer Рейтинг: Цена: 23549.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The VLISP project undertook to provide a rigorous verification of a programming language. The project began at the MITRE Corporation in late 1989 under the company`s Technology Program. The work was supervised by the Rome Laboratory of the US Air Force. This title extracts re-usable conclusions from the work at two, quite different levels.
Автор: Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 3319694820 ISBN-13(EAN): 9783319694825 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.
Автор: Xuandong Li; Zhiming Liu; Wang Yi Название: Dependable Software Engineering: Theories, Tools, and Applications ISBN: 3319259415 ISBN-13(EAN): 9783319259413 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The title, Violent Grace, suggests a paradox. This pairing has become an unexpected gateway into the varied and prolific artistic career of Edward Knippers. Violence conjures images of aggression while grace has long been associated with beauty, poise, or an unmerited gift. Within the ambiguity of this fertile paradox, the art of Edward Knippers opens up into something rich and rewarding.
Описание: Featuring the latest research on this widely studied and emerging topic in the field of autonomous agents and multi-agent systems, the two sections in this book cover agent-based complex automated negotiations and automated negotiation agents competition.
Автор: De-Shuang Huang; Martin McGinnity; Laurent Heutte; Название: Advanced Intelligent Computing. Theories and Applications ISBN: 3642148301 ISBN-13(EAN): 9783642148309 Издательство: Springer Рейтинг: Цена: 17468.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intel- gence, machine learning, pattern recognition, image processing, bioinformatics, and computational biology.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
