Ada Software Tools Interfaces, Peter J. L. Wallis

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

Автор: Laurent George; Tullio Vardanega
Название: Reliable Software Technologies – Ada-Europe 2014
ISBN: 3319083104 ISBN-13(EAN): 9783319083100
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions.

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

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

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

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

Автор: A.A. Pollicini
Название: Using Toolpack Software Tools
ISBN: 9401068836 ISBN-13(EAN): 9789401068833
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the ISPRA Course held at the Joint Research Centre, Ispra, Italy, 17-21 November, 1986

Автор: Keller Hubert B
Название: Reliable Software Technologies - ADA-Europe 2013
ISBN: 3642386008 ISBN-13(EAN): 9783642386008
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. They are organized in topical sections on multi-core and distributed systems;

Автор: Johann Blieberger; Markus Bader
Название: Reliable Software Technologies – Ada-Europe 2017
ISBN: 3319605879 ISBN-13(EAN): 9783319605876
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions.

Автор: Juan Antonio de la Puente; Tullio Vardanega
Название: Reliable Software Technologies – Ada-Europe 2015
ISBN: 3319195832 ISBN-13(EAN): 9783319195834
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions.

Автор: Marko Bertogna; Lu?s Miguel Pinho; Eduardo Qui?one
Название: Reliable Software Technologies – Ada-Europe 2016
ISBN: 3319390821 ISBN-13(EAN): 9783319390826
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions.

Автор: Keith Hardy; Jim Briggs
Название: Reliable Software Technologies - Ada-Europe `97
ISBN: 3540631143 ISBN-13(EAN): 9783540631149
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies. In the text all current issues explored in the Ada community are addressed beyond the Ada language aspects.