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...
সংরক্ষণ করুন:
| সংস্থা লেখক: | , |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | কনফারেন্স প্রসিডিং গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| মালা: | (Lecture Notes in Computer Science ;
8410) |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Ver documento en línea |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| সংক্ষিপ্ত: | 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. |
|---|---|
| দৈহিক বর্ননা: | 1 libro electrónico en línea (XIV, 576 p.) 1 recurso en línea |
| আইসবিএন: | 978-3-642-54833-8 |
| প্রবেশাধিকার: | Licencias ilimitadas |