Електронна книга > Наука > Информатика > Операционные системы, Пользовательские интерфейсы > Markus Bader & Johann Blieberger: Reliable Software Technologies - Ada-Europe 2017 (ePUB)

Markus Bader & Johann Blieberger
Reliable Software Technologies — Ada-Europe 2017 [EPUB ebook]
22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

поддержка

Обложка Markus Bader & Johann Blieberger: Reliable Software Technologies - Ada-Europe 2017 (ePUB)

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. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

€64.18

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат EPUB ● ISBN 9783319605883 ● редактор Markus Bader & Johann Blieberger ● издатель Springer International Publishing ● опубликованный 2017 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6210623 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Markus Bader Johann Blieberger

2 767 Электронные книги в этой категории

Обложка Prashanth Raghu & Praveen Raj: Source Code Exploration with Memcached

Prashanth Raghu & Praveen Raj: Source Code Exploration with Memcached

Open-source development has been the single most significant contributor to the development community, and the contributions are used across the IT landscape including corporations, universities, sch …

Обложка Gary Kuvich: Aligning Perceptual and Conceptual Information for Cognitive Contextual System Development: Emerging Research and Opportunities

Gary Kuvich: Aligning Perceptual and Conceptual Information for Cognitive Contextual System Development: Emerging Research and Opportunities

Обложка Alessandra Bagnato & Leandro Soares Indrusiak: Handbook of Research on Embedded Systems Design

Alessandra Bagnato & Leandro Soares Indrusiak: Handbook of Research on Embedded Systems Design

Обложка Thomas Lee: Windows Server 2019 Automation with PowerShell Cookbook

Thomas Lee: Windows Server 2019 Automation with PowerShell Cookbook

Automate Windows server tasks with the powerful features of the Power Shell Language Key Features

Leverage Power Shell to automate complex Windows server tasks
Master new features …

Обложка Paul S. Wang: Mastering Modern Linux

Paul S. Wang: Mastering Modern Linux

Praise for the First Edition: ‘This outstanding book … gives the reader robust concepts and implementable knowledge of this environment. Graphical user interface (GUI)-based users and developers do n …

Обложка Michael & McGrath, Mike Price: Windows 11 for Seniors in easy steps

Michael & McGrath, Mike Price: Windows 11 for Seniors in easy steps

Windows 11 for Seniors in easy steps is written with older citizens in mind. It’ll guide you through Windows 11, a step at a time, and covers all the key features in the 22H2 Windows update, includin …

Обложка Nick Vandome: macOS in easy steps

Nick Vandome: macOS in easy steps

Ideal for newcomers to the stylish world of Apple Macs and for those seeking to get more from their Mac computer. Illustrated using mac OS Ventura.Discover the true potential of the stylish world of …

Обложка Nick Vandome: macOS Monterey in easy steps

Nick Vandome: macOS Monterey in easy steps

mac OS Monterey (mac OS 12) is the latest version of the powerful operating system for Apple Mac computers. mac OS Monterey in easy steps is the latest edition of this acclaimed guide that’ll help yo …

Обложка Mike McGrath: Linux in easy steps, 7th edition

Mike McGrath: Linux in easy steps, 7th edition

Now in its seventh edition, Linux in easy steps explains the Linux environment and how to get more out of this stable, as well as free, operating system. You’ll be able to download, install and custo …

Обложка Nick Vandome: macOS Big Sur in easy steps

Nick Vandome: macOS Big Sur in easy steps

mac OS Big Sur in easy steps is updated to cover the new Mac operating system mac OS Big Sur (mac OS 11). It is a concise guide that’ll get you up and running in no time, and then it’ll take you thro …

Следущая страница >>>