Tools and Algorithms for the Construction andAnalysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /

Selección de ponencias de la vigésima Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, que tuvo lugar en Grenoble, Francia, en abril de 2014, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software. Los artículos es...

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

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

Байгууллагын зохиогчид:	International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( Grenoble, Francia), European Joint Conferences on Theory and Practice of Software
Бусад зохиолчид:	Abrahám, Erika (edición) (edición), Havelund, Klaus (edición) (edición)
Формат:	Бага хурлын үйл явц Ном
Хэл сонгох:	англи
Хэвлэсэн:	Heidelberg, Alemania : Springer, 2014, c2014
Цуврал:	(Lecture Notes in Computer Science ; 8413)
Нөхцлүүд:	Ingeniería de Software Programación (Software) Complejidad Computacional Codificación - > Teoría Autómatas Matemáticos - > Teoría Algoritmos Computacionales - > Tema Principal Sistemas Computacionales - > Prueba y Medición - > Tema Principal Desarrollo de Sistemas - > Congresos - > Tema Principal Sistemas Computacionales Ingeniería Computacional
Онлайн хандалт:	Ver documento en línea
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!