Ada in Europe, Marcel Toussaint

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

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

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

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

Автор: Marcel Toussaint
Название: Ada in Europe
ISBN: 3540607579 ISBN-13(EAN): 9783540607571
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings present papers on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time and methods. General software engineering aspects are also presented.

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

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

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

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

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

Автор: S. Tucker Taft; Robert A. Duff; Randall L. Brukard
Название: Ada 2005 Reference Manual. Language and Standard Libraries
ISBN: 3540693351 ISBN-13(EAN): 9783540693352
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 approved by ISO in late 2006 or early 2007.

Автор: Peter J. L. Wallis
Название: Ada Software Tools Interfaces
ISBN: 3540138781 ISBN-13(EAN): 9783540138785
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.