Obálka
QR kód

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : Proceedings /

Ponencias seleccionadas de la décima primera Conferencia Internacional sobre Métodos Formales Integrados, celebrada en Bertinoro, Italia, en septiembre de 2014. Los trabajos se presentan organizados en las siguientes secciones temáticas: integración de herramientas; verificación del modelo; desarrol...

Celý popis

Uloženo v:
Korporativní autor: International Conference on Integrated Formal Methods ( Bertinoro, Italia)
Další autoři: Albert, Elvira (edición) (edición), Sekerinski, Emil (edición) (edición)
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Cham, Suiza : Springer, 2014, c2014
Edice:(Lecture Notes in Computer Science ; 8739)
Témata:
Paquetes (Software) - > Planeación
Paquetes (Software) - > Prueba y Medición
Arquitectura de Software - > Prueba y Medición
Ingeniería de Software - > Tema Principal
Programación (Software) - > Planeación
Programación (Software) - > Tema Principal
Desarrollo de Sistemas - > Congresos - > Tema Principal
Sistemas Computacionales
Ingeniería Computacional
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam^a2200000^a^4500
001 000559613
005 20251023000000.0
009 20260310131844.987
020 |a 978-3-319-10181-1 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Conference on Integrated Formal Methods (  |n 11a :  |d 2014 :  |c Bertinoro, Italia) 
245 1 0 |a Integrated Formal Methods :  |b 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : Proceedings /  |c Ed. de E. Albert, E. Sekerinski. 
264 4 |a Cham, Suiza :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014 
300 |a 1 libro electrónico en línea (XII, 390 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 1 |a (Lecture Notes in Computer Science ;  |v 8739) 
506 0 |a Licencias ilimitadas 
520 |a Ponencias seleccionadas de la décima primera Conferencia Internacional sobre Métodos Formales Integrados, celebrada en Bertinoro, Italia, en septiembre de 2014. Los trabajos se presentan organizados en las siguientes secciones temáticas: integración de herramientas; verificación del modelo; desarrollo del programa; análisis de seguridad; análisis y transformación; y concurrencia y control. 
649 |a XX 
650 |a Paquetes (Software) -  |x Planeación 
650 |a Paquetes (Software) -  |x Prueba y Medición 
650 |a Arquitectura de Software -  |x Prueba y Medición 
650 |a Ingeniería de Software -  |x Tema Principal 
650 |a Programación (Software) -  |x Planeación 
650 |a Programación (Software) -  |x Tema Principal 
650 |a Desarrollo de Sistemas -  |x Congresos -  |x Tema Principal 
650 |a Sistemas Computacionales 
650 |a Ingeniería Computacional 
700 |a Albert, Elvira  |e (edición) 
700 |a Sekerinski, Emil  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10181-1  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
901 |a 559613-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000559613 

Podobné jednotky