Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Show other versions (1)

Bibliographic Details
Main Author:	Boer, Frank S.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael
Format:	Electronic Kit Book
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:	Lecture Notes in Computer Science 6286
Subjects:	Computer science Software engineering Operating systems (Computers) Logic design Computer Science Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques
Online Access:	http://dx.doi.org/10.1007/978-3-642-17071-3

Similar Items

Architecting Dependable Systems VII
by: Casimiro, Antonio
Published: (2010)

New Modeling Concepts for Todayβs Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
by: MΓΌnch, JΓΌrgen
Published: (2010)

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
by: Baudry, Benoit
Published: (2010)

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
by: Bouajjani, Ahmed
Published: (2010)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
by: Barthe, Gilles
Published: (2010)

Conceptual Modeling β ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
by: Parsons, Jeffrey
Published: (2010)

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
by: Arbab, Farhad
Published: (2010)

ECOOP 2010 β Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
by: DβHondt, Theo
Published: (2010)

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
by: Ding, Chen
Published: (2010)

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
by: Prodan, Radu
Published: (2007)

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
by: Pnueli, Amir
Published: (2010)

Web Component Development with Zope 3
by: Weitershausen, Philipp
Published: (2007)

Web Component Development with Zope 3
by: Weitershausen, Philipp
Published: (2005)

Software Engineering 3 Domains, Requirements, and Software Design
by: BjΓΈner, Dines
Published: (2006)

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings
by: Vitek, Jan
Published: (2010)

Guide to Assembly Language Programming in Linux
by: Dandamudi, Sivarama P.
Published: (2005)

Soft Real-Time Systems Predictability vs. Efficiency
by: Buttazzo, Giorgio C.
Published: (2005)

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
by: Hatcliff, John
Published: (2010)

HPC@Green IT Green High Performance Computing Methods
by: Gruber, Ralf
Published: (2010)

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
by: Eekelen, Marko
Published: (2010)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
by: Carro, Manuel
Published: (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
by: HorvΓ'th, ZoltΓ'n
Published: (2010)

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
by: Borba, Paulo
Published: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
by: MΓ©ry, Dominique
Published: (2010)

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
by: Rosenblum, David S
Published: (2010)

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
by: Katz, Shmuel
Published: (2010)

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
by: KΓΌhne, Thomas
Published: (2010)

Advanced Lectures on Software Engineering LASER Summer School 2007/2008
by: MΓΌller, Peter
Published: (2010)

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
by: Kowalewski, Stefan
Published: (2010)

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
by: Frachtenberg, Eitan
Published: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
by: Chatterjee, Krishnendu
Published: (2010)

Web Dynpro ABAP for Practitioners
by: Gellert, Ulrich
Published: (2010)

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
by: Ueda, Kazunori
Published: (2010)

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
by: Aldini, Alessandro
Published: (2010)

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
by: MΓΌller-Clostermann, Bruno
Published: (2010)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
by: Petrenko, Alexandre
Published: (2010)

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
by: Γlveczky, Peter Csaba
Published: (2010)

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
by: Grunske, Lars
Published: (2010)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
by: Lilius, Johan
Published: (2010)

Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
by: Engels, Gregor
Published: (2010)

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