Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 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 del vigésimo tercer Simposio Europeo sobre Programación, celebrado como parte de las décimas séptimas Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, en Grenoble, Francia, en abril de 2014. Los artículos están organizados en secciones temáticas acerca de...
Kaydedildi:
| Kurumsal yazarlar: | , |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Konferans Sunumu Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Seri Bilgileri: | (Lecture Notes in Computer Science ;
8410) |
| Konular: | |
| Online Erişim: | Ver documento en línea |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000566848 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132115.997 | ||
| 020 | |a 978-3-642-54833-8 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a European Symposium on Programming ( |n 23° : |d 2014 : |c Grenoble, Francia) | ||
| 245 | 1 | 0 | |a Programming Languages and Systems : |b 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings / |c Ed. de Z. Shao. |
| 264 | 4 | |a Heidelberg, Alemania : |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 (XIV, 576 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 8410) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de ponencias del vigésimo tercer Simposio Europeo sobre Programación, celebrado como parte de las décimas séptimas Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, en Grenoble, Francia, en abril de 2014. Los artículos están organizados en secciones temáticas acerca de sistemas de tipos, compilación verificada, verificación del programa, semántica, concurrencia, tipos lineales, cálculos de redes y procesos, y análisis de programas. | ||
| 649 | |a XX | ||
| 650 | |a Redes de Computadoras - |x Diseño y Construcción | ||
| 650 | |a Paquetes (Software) - |x Prueba y Medición | ||
| 650 | |a Compiladores (Software) | ||
| 650 | |a Intérpretes (Software) | ||
| 650 | |a Gramática Categorial | ||
| 650 | |a Programación Lógica (Software) | ||
| 650 | |a Lenguajes de Programación - |x Congresos - |x Tema Principal | ||
| 650 | |a Lenguajes Formales | ||
| 650 | |a Programación (Software) - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Sistemas Computacionales | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Shao, Zhong |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-54833-8 |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 566848-1 |b IT2 |c EBO |i C172346 |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000566848 | ||