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

সম্পূর্ণ বিবরণ

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক: European Symposium on Programming ( Grenoble, Francia), European Joint Conferences on Theory and Practice of Software
অন্যান্য লেখক: Shao, Zhong (edición) (edición)
বিন্যাস: কনফারেন্স প্রসিডিং গ্রন্থ
ভাষা:ইংরেজি
প্রকাশিত: 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