Cover Image
QR Code

From Programs to Systems : The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis Grenoble, France, April 6, 2014 : Proceedings /

Selección de las ponencias presentadas en el taller De los Programas a los Sistemas, que se realizó en honor al profesor Joseph Sifakis en el marco de las décimo séptimas Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ambos eventos tuvieron lugar en Grenoble, Francia, en abril...

Full description

Saved in:
Corporate Authors: From Programs to Systems ( Grenoble, Francia), European Joint Conferences on Theory and Practice of Software
Other Authors: Bensalem, Saddek (edición) (edición), Lakhneck, Yassine (edición) (edición), Legay, Axel (edición) (edición)
Format: Conference Proceeding Book
Language:English
Published: Heidelberg, Alemania : Springer, 2014, c2014
Series:(Lecture Notes in Computer Science ; 8415)
Subjects:
Algoritmos Computacionales
Diseño del Producto
Arquitectura de Software
Paquetes (Software) - > Planeación
Programación (Software) - > Planeación
Ingeniería de Software
Programación (Software)
Desarrollo de Sistemas - > Congresos - > Tema Principal
Autómatas Matemáticos - > Teoría
Modelos Matemáticos
Ingeniería Computacional
Online Access:Ver documento en línea
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam^a2200000^a^4500
001 000556798
005 20251023000000.0
009 20260526152657.305
020 |a 978-3-642-54848-2 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a From Programs to Systems (  |d 2014 :  |c Grenoble, Francia) 
245 1 0 |a From Programs to Systems :  |b The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis Grenoble, France, April 6, 2014 : Proceedings /  |c Ed. de S. Bensalem, Y. Lakhneck, A. Legay. 
264 4 |a Heidelberg, Alemania :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014, c2014 
300 |a 1 libro electrónico en línea (XII, 279 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 8415) 
506 0 |a Licencias ilimitadas 
520 |a Selección de las ponencias presentadas en el taller De los Programas a los Sistemas, que se realizó en honor al profesor Joseph Sifakis en el marco de las décimo séptimas Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ambos eventos tuvieron lugar en Grenoble, Francia, en abril de 2014. Los textos abordan temas relacionados con el diseño y la teoría de la programación de sistemas. 
649 |a XX 
650 |a Algoritmos Computacionales 
650 |a Diseño del Producto 
650 |a Arquitectura de Software 
650 |a Paquetes (Software) -  |x Planeación 
650 |a Programación (Software) -  |x Planeación 
650 |a Ingeniería de Software 
650 |a Programación (Software) 
650 |a Desarrollo de Sistemas -  |x Congresos -  |x Tema Principal 
650 |a Autómatas Matemáticos -  |x Teoría 
650 |a Modelos Matemáticos 
650 |a Ingeniería Computacional 
700 |a Bensalem, Saddek  |e (edición) 
700 |a Lakhneck, Yassine  |e (edición) 
700 |a Legay, Axel  |e (edición) 
711 |a European Joint Conferences on Theory and Practice of Software (  |n 17a :  |d 2014 :  |c Grenoble, Francia) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-54848-2  |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 556798-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000556798 

Similar Items