Verified Software: Theories, Tools and Experiments, Dimitra Giannakopoulou; Daniel Kroening

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

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

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

Автор: Arie Gurfinkel; Sanjit A. Seshia
Название: Verified Software: Theories, Tools, and Experiments
ISBN: 3319296124 ISBN-13(EAN): 9783319296128
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Large-scale verification.- collaboration: - Theory Unication.- ToolIntegration.- Formalized domain knowledge.

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

Автор: Fr?nzle
Название: Dependable Software Engineering: Theories, Tools, and Applications
ISBN: 3319476769 ISBN-13(EAN): 9783319476766
Издательство: Springer
Рейтинг:
Цена: 8106.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.

Автор: Takayuki Ito; Minjie Zhang; Valentin Robu; Tokuro
Название: Complex Automated Negotiations: Theories, Models, and Software Competitions
ISBN: 3642442080 ISBN-13(EAN): 9783642442087
Издательство: Springer
Рейтинг:
Цена: 16977.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Ernie Cohen; Andrey Rybalchenko
Название: Verified Software: Theorie, Tools, Experiments
ISBN: 3642541070 ISBN-13(EAN): 9783642541070
Издательство: Springer
Рейтинг:
Цена: 7547.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

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