Selected papers."In addition to this rich set of material, nine tutorials for the equivalent of 12 half-day sessions ... together with two full-day wo...
形態の詳細:
illustrations
資料詳細
要約等:
This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, hel...
"In addition to this rich set of material, nine tutorials for the equivalent of 12 half-day sessions ... together with two full-day workshops ..."--Preface.
書誌注記
Includes bibliographical references and author index.