Reliable Software Technologies - Ada-Europe `98, Lars Asplund

Автор: Hubertus B. Keller; Erhard Pl?dereder
Название: Reliable Software Technologies Ada-Europe 2000
ISBN: 3540676694 ISBN-13(EAN): 9783540676690
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference papers cover real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.

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

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

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

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

Автор: Michael Gonzalez Harbour; Juan A. de la Puente
Название: Reliable Software Technologies - Ada-Europe `99
ISBN: 3540660933 ISBN-13(EAN): 9783540660934
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance and case studies.

Автор: Alfred Strohmeier
Название: Reliable Software Technologies - Ada Europe 96
ISBN: 354061317X ISBN-13(EAN): 9783540613176
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work comprises the proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies. It covers aspects of the Ada 95 programming language and addresses current topics of reliable software in general. Topics covered include software development

Автор: Maria Jos? Escalona; Jos? Cordeiro; Boris Shishkov
Название: Software and Data Technologies
ISBN: 3642361765 ISBN-13(EAN): 9783642361760
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, held in Seville, Spain, in July 12011. The 13 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 220 submissions.

Автор: Pascal Lorenz; Jorge Cardoso; Leszek A. Maciaszek;
Название: Software Technologies
ISBN: 3319301411 ISBN-13(EAN): 9783319301419
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the thoroughly refereed proceedings of the 10th International JointConference on Software Technologies, ICSOFT 2015, held in Colmar, France, inJuly 2015.The 23revised full papers presented were carefully reviewed and selected from 117submissions.

Автор: Jos? Cordeiro; Marten van Sinderen
Название: Software Technologies
ISBN: 3662449196 ISBN-13(EAN): 9783662449196
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.