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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Boer, Frank S.
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6286
Θέματα:	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:	http://dx.doi.org/10.1007/978-3-642-17071-3

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

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
ανά: Arbab, Farhad
Έκδοση: (2010)

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

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
ανά: Baudry, Benoit
Έκδοση: (2010)

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
ανά: Bouajjani, Ahmed
Έκδοση: (2010)

New Modeling Concepts for Todayβs Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
ανά: MΓΌnch, JΓΌrgen
Έκδοση: (2010)

Web Component Development with Zope 3
ανά: Weitershausen, Philipp
Έκδοση: (2007)

Web Component Development with Zope 3
ανά: Weitershausen, Philipp
Έκδοση: (2005)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
ανά: Barthe, Gilles
Έκδοση: (2010)

Soft Real-Time Systems Predictability vs. Efficiency
ανά: Buttazzo, Giorgio C.
Έκδοση: (2005)

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

ECOOP 2010 β Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
ανά: DβHondt, Theo
Έκδοση: (2010)

Conceptual Modeling β ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ανά: Parsons, Jeffrey
Έκδοση: (2010)

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8β10, 2006, Como, Italy
ανά: Damiani, Ernesto
Έκδοση: (2006)

Web Dynpro ABAP for Practitioners
ανά: Gellert, Ulrich
Έκδοση: (2010)

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
ανά: Kowalewski, Stefan
Έκδοση: (2010)

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut
Έκδοση: (2006)

Beginning Databases with PostgreSQL From Novice to Professional
ανά: Matthew, Neil
Έκδοση: (2005)

Pro Spring
ανά: Harrop, Rob
Έκδοση: (2005)

Painless Project Management with FogBugz
ανά: Gunderloy, Mike
Έκδοση: (2005)

Shell Scripting Recipes A Problem-Solution Approach
ανά: Johnson, Chris F. A.
Έκδοση: (2005)

Beginning Java Objects From Concepts to Code
ανά: Barker, Jacquie
Έκδοση: (2005)

Open Source Messaging Application Development Building and Extending Gaim
ανά: Egan, Sean
Έκδοση: (2005)

Pro Eclipse JST Plug-ins for J2EE Development
ανά: Judd, Christopher M.
Έκδοση: (2005)

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
ανά: Ochoa, Sergio F.
Έκδοση: (2006)

Pro OpenSSH
ανά: Stahnke, Michael
Έκδοση: (2006)

Beginning Java EE 5 From Novice to Professional
ανά: Mukhar, Kevin
Έκδοση: (2006)

Building Online Communities with Drupal, phpBB, and WordPress
ανά: Douglass, Robert T.
Έκδοση: (2006)

Micro-ISV From Vision to Reality
ανά: Walsh, Bob
Έκδοση: (2006)

Excel Pivot Tables Recipe Book A Problem-Solution Approach
ανά: Dalgleisch, Debra
Έκδοση: (2006)

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)

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

Pro Apache Beehive
ανά: Mittal, Kunal
Έκδοση: (2005)

Pro JSP 2
ανά: Brown, Simon E.
Έκδοση: (2005)

Reverse Engineering of Object Oriented Code
ανά: Tonella, Paolo
Έκδοση: (2005)

Beginning J2ME From Novice to Professional
ανά: Li, Sing
Έκδοση: (2005)

Pro Hibernate 3
ανά: Minter, Dave
Έκδοση: (2005)

Pro J2ME Polish Open Source Wireless Java Tools Suite
ανά: Virkus, Robert
Έκδοση: (2005)

JDBC Recipes A Problem-Solution Approach
ανά: Parsian, Mahmoud
Έκδοση: (2005)

Foundations of AOP for J2EE Development
ανά: Pawlak, Renaud
Έκδοση: (2005)

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