Catalog > Ciencia > Informática > Sistemas operativos, interfaces de usuario > 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

Soporte

Portada de 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

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato EPUB ● ISBN 9783319605883 ● Editor Markus Bader & Johann Blieberger ● Editorial Springer International Publishing ● Publicado 2017 ● Descargable 3 veces ● Divisa EUR ● ID 6210623 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Markus Bader Johann Blieberger

2.767 Ebooks en esta categoría

Portada de 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 …

Portada de 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

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

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

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

siguiente página >>>