Kapak Resmi
QR Kod

NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /

Obra que presenta las actas arbitradas del sexto Simposio Internacional sobre Métodos Formales de la NASA, celebrado en Houston, EUA, del 29 de abril al 1 de mayo de 2014. Los artículos dan cuenta de los avances en la investigación relacionada con los métodos formales que se utilizan en la ingenierí...

Ful tanımlama

Kaydedildi:
Müşterek Yazar: International Symposium on NASA Formal Methods ( Houston, EUA)
Diğer Yazarlar: Badger, Julia M. (edición) (edición), Rozier, Kristin Yvonne (edición) (edición)
Materyal Türü: Konferans Sunumu Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham, Suiza : Springer, 2014, c2014
Seri Bilgileri:(Lecture Notes in Computer Science ; 8430)
Konular:
Arquitectura de Software - > Prueba y Medición
Paquetes (Software) - > Caducidad
Paquetes (Software) - > Planeación
Paquetes (Software) - > Prueba y Medición
Programación (Software) - > Planeación
Ingeniería de Software - > Congresos - > Tema Principal
Modelos Matemáticos - > Tema Principal
Desarrollo de Sistemas - > Tema Principal
Sistemas Computacionales
Ingeniería Computacional
Ingeniería Aeroespacial
Online Erişim:Ver documento en línea
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

MARC

LEADER 00000nam^a2200000^a^4500
001 000565269
005 20251023000000.0
009 20260526152920.853
020 |a 978-3-319-06200-6 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Symposium on NASA Formal Methods (  |n 6° :  |d 2014 :  |c Houston, EUA) 
245 1 0 |a NASA Formal Methods :  |b 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /  |c Ed. de J.M. Badger, K.Y. Rozier. 
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 (XXVI, 360 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 8430) 
506 0 |a Licencias ilimitadas 
520 |a Obra que presenta las actas arbitradas del sexto Simposio Internacional sobre Métodos Formales de la NASA, celebrado en Houston, EUA, del 29 de abril al 1 de mayo de 2014. Los artículos dan cuenta de los avances en la investigación relacionada con los métodos formales que se utilizan en la ingeniería de software, para el desarrollo de sistemas con base en los modelos y las pruebas matemáticas. 
649 |a XX 
650 |a Arquitectura de Software -  |x Prueba y Medición 
650 |a Paquetes (Software) -  |x Caducidad 
650 |a Paquetes (Software) -  |x Planeación 
650 |a Paquetes (Software) -  |x Prueba y Medición 
650 |a Programación (Software) -  |x Planeación 
650 |a Ingeniería de Software -  |x Congresos -  |x Tema Principal 
650 |a Modelos Matemáticos -  |x Tema Principal 
650 |a Desarrollo de Sistemas -  |x Tema Principal 
650 |a Sistemas Computacionales 
650 |a Ingeniería Computacional 
650 |a Ingeniería Aeroespacial 
700 |a Badger, Julia M.  |e (edición) 
700 |a Rozier, Kristin Yvonne  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-06200-6  |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 565269-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000565269 

Benzer Materyaller