Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : Advanced Lectures /

Esta obra reúne ocho conferencias impartidas en la décima cuarta edición de la Escuela Internacional de Métodos Formales para el Diseño de Sistemas Informáticos, de Comunicación y de Software, celebrada en Bertinoro, Italia, en junio de 2014. Incluye los siguientes textos: Análisis de modelos de sof...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Байгууллагын зохиогч:	International School on Formal Methods for the Design of Computer, Communication and Software Systems ( Bertinoro, Italia)
Бусад зохиолчид:	Bernardo, Marco (edición) (edición)
Формат:	Бага хурлын үйл явц Ном
Хэл сонгох:	англи
Хэвлэсэн:	Cham, Suiza : Springer, 2014, c2014
Цуврал:	(Lecture Notes in Computer Science ; 8483)
Нөхцлүүд:	Algoritmos Computacionales Diseño del Producto Arquitectura de Software Paquetes (Software) - > Prueba y Medición Programación (Software) - > Planeación Programación (Software) Ingeniería de Software - > Tema Principal Desarrollo de Sistemas - > Congresos - > Tema Principal Ingeniería Computacional
Онлайн хандалт:	Ver documento en línea
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!