Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
Κύριος συγγραφέας: | HorvΓ'th, ZoltΓ'n |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Άλλοι συγγραφείς: | Plasmeijer, Rinus, ZsΓ³k, ViktΓ³ria |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010
|
Σειρά: | Lecture Notes in Computer Science
6299 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-17685-2 |
Παρόμοια τεκμήρια
-
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ανά: Pol, Jaco
Έκδοση: (2010) -
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010) -
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ανά: Pnueli, Amir
Έκδοση: (2010) -
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ανά: Kurki-Suonio, Reino
Έκδοση: (2005) -
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
ανά: Bowman, Howard
Έκδοση: (2006)