Ada in Europe, Marcel Toussaint

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

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

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

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

Автор: Keller Hubert B
Название: Reliable Software Technologies - ADA-Europe 2013
ISBN: 3642386008 ISBN-13(EAN): 9783642386008
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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;

Автор: Marcel Toussaint
Название: Ada in Europe
ISBN: 3540588221 ISBN-13(EAN): 9783540588221
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Addressing general software-related aspects as well as the ADA language itself, this volume contains papers on compilers, safety, criticality and formal methods, object orientation, reuse, ADA libraries, run-times and management and training.

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

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

Автор: Lars Asplund
Название: Reliable Software Technologies - Ada-Europe `98
ISBN: 3540645365 ISBN-13(EAN): 9783540645368
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe `98, held in Uppsala, Sweden, in June 1998. The papers address the various aspects of the Ada programming language.

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

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

Автор: Jacobus W. de Bakker; A.J. Nijman; Philip C. Trele
Название: PARLE Parallel Architectures and Languages Europe
ISBN: 3540179437 ISBN-13(EAN): 9783540179436
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.