Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Κύριος συγγραφέας: | Pnueli, Amir |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Άλλοι συγγραφείς: | Virbitskaite, Irina, Voronkov, Andrei |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Σειρά: | Lecture Notes in Computer Science
5947 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-11486-1 |
Παρόμοια τεκμήρια
-
Software Engineering 3 Domains, Requirements, and Software Design
ανά: BjΓΈner, Dines
Έκδοση: (2006) -
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010) -
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
Έκδοση: (2010) -
Architecting Dependable Systems VII
ανά: Casimiro, Antonio
Έκδοση: (2010) -
Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
ανά: Real, Jorge
Έκδοση: (2010)