Okładka
kod QR

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í...

Szczegółowa specyfikacja

Zapisane w:
Korporacja: International Symposium on NASA Formal Methods ( Houston, EUA)
Kolejni autorzy: Badger, Julia M. (edición) (edición), Rozier, Kristin Yvonne (edición) (edición)
Format: Materiały konferencyjne Książka
Język:angielski
Wydane: Cham, Suiza : Springer, 2014, c2014
Seria:(Lecture Notes in Computer Science ; 8430)
Hasła przedmiotowe:
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
Dostęp online:Ver documento en línea
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!

MARC

LEADER 00000nam^a2200000^a^4500
001 000565269
005 20251023000000.0
009 20260310132043.564
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 

Podobne zapisy