Número de Cutter-SanbornG661sEntrada «Gor» → 661 · marca de obra “s”

Software Engineering for Resilient Systems

de Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

Materias

Computer science

Operating systems (Computers)

Computer Communication Networks

Logic design

Operating Systems

Logics and Meanings of Programs

Ediciones (3)

Software Engineering for Resilient Systems (2017)
Springer · ISBN 9783319659473
Software Engineering for Resilient Systems (2013)
Springer London, Limited · inglés · ISBN 9783642408946
Software Engineering for Resilient Systems (2013)
Springer · ISBN 9783642408939