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

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
Θέματα:	Computer science Computer Communication Networks Software engineering Logic design Computer Science Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-17685-2

Παρόμοια τεκμήρια

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010)

Abstraction, Refinement and Proof for Probabilistic Systems
ανά: McIver, Annabelle
Έκδοση: (2005)

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ανά: Γlveczky, Peter Csaba
Έκδοση: (2010)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ανά: Petrenko, Alexandre
Έκδοση: (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)

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings
ανά: Vitek, Jan
Έκδοση: (2010)

Testing β Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
ανά: Bottaci, Leonardo
Έκδοση: (2010)

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ανά: Hatcliff, John
Έκδοση: (2010)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ανά: Lilius, Johan
Έκδοση: (2010)

Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
ανά: Engels, Gregor
Έκδοση: (2010)

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
ανά: Tratt, Laurence
Έκδοση: (2010)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
ανά: Schreye, Danny
Έκδοση: (2010)

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
ανά: Borba, Paulo
Έκδοση: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
ανά: MΓ©ry, Dominique
Έκδοση: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ανά: Chatterjee, Krishnendu
Έκδοση: (2010)

Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
ανά: Fraser, Gordon
Έκδοση: (2010)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ανά: Barringer, Howard
Έκδοση: (2010)

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ανά: Pnueli, Amir
Έκδοση: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers
ανά: Clarke, Edmund M., Jr. 1945-2020. (Edmund Melson)
Έκδοση: (2010)

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
ανά: Ueda, Kazunori
Έκδοση: (2010)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ανά: Pol, Jaco
Έκδοση: (2010)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ανά: Blume, Matthias
Έκδοση: (2010)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
ανά: Butterfield, Andrew
Έκδοση: (2010)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
ανά: Qin, Shengchao
Έκδοση: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ανά: FermΓΌller, Christian G
Έκδοση: (2010)

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
ανά: Leavens, Gary T
Έκδοση: (2010)

Software Engineering 3 Domains, Requirements, and Software Design
ανά: BjΓΈner, Dines
Έκδοση: (2006)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ανά: Escobar, Santiago
Έκδοση: (2010)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Ong, Luke
Έκδοση: (2010)

DRAWING PROGRAMS:The Theory and Practice of Schematic Functional Programming
ανά: Addis, Tom
Έκδοση: (2010)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ανά: KuΔera, AntonΓn
Έκδοση: (2010)

Time for Verification Essays in Memory of Amir Pnueli
ανά: Manna, Zohar
Έκδοση: (2010)

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
ανά: Eekelen, Marko
Έκδοση: (2010)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
ανά: Boer, Frank S.
Έκδοση: (2010)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
ανά: Beckert, Bernhard
Έκδοση: (2006)

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ανά: Blass, Andreas
Έκδοση: (2010)

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ανά: Dams, Dennis
Έκδοση: (2010)

Advanced Lectures on Software Engineering LASER Summer School 2007/2008
ανά: MΓΌller, Peter
Έκδοση: (2010)

Architecting Dependable Systems VII
ανά: Casimiro, Antonio
Έκδοση: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ανά: Strichman, Ofer
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_cs1qg6ioqg1groil645vdsj7dv