Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / edited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones.

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 subm...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Bertogna, Marko (Editor), Pinho, Luís Miguel (Editor), Quiñones, Eduardo (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:	1st ed. 2016.
Series:	Programming and Software Engineering ; 9695 Springer eBook Collection.
Subjects:	Programming languages (Electronic computers). Software engineering. Special purpose computers. Computer logic. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.