Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also inclu...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Agha, Gul (Επιμελητής έκδοσης), Igarashi, Atsushi (Επιμελητής έκδοσης), Kobayashi, Naoki (Επιμελητής έκδοσης), Masuhara, Hidehiko (Επιμελητής έκδοσης), Matsuoka, Satoshi (Επιμελητής έκδοσης), Shibayama, Etsuya (Επιμελητής έκδοσης), Taura, Kenjiro (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Σειρά:	Lecture Notes in Computer Science, 8665
Θέματα:	Computer science. Computer programming. Software engineering. Programming languages (Electronic computers). Operating systems (Computers). Computers. Computer Science. Software Engineering. Computing Methodologies. Programming Languages, Compilers, Interpreters. Operating Systems. Programming Techniques.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Έκδοση: (2012)

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /
Έκδοση: (2005)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Έκδοση: (2008)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Έκδοση: (2007)

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
Έκδοση: (2009)

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Έκδοση: (2013)

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

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
Έκδοση: (2008)

A Beginner's Guide to Scala, Object Orientation and Functional Programming
ανά: Hunt, John
Έκδοση: (2014)

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Έκδοση: (2013)

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
Έκδοση: (2009)

The JR Programming Language Concurrent Programming in an Extended Java /
ανά: Olsson, Ronald A., κ.ά.
Έκδοση: (2004)

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
Έκδοση: (2006)

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /
Έκδοση: (2006)

Iterating Infusion Clearer Views of Objects, Classes, and Systems /
ανά: Anthony, Greg
Έκδοση: (2012)

Ada 2012 Rationale The Language, The Standard Libraries /
ανά: Barnes, John
Έκδοση: (2013)

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
Έκδοση: (2013)

Embedded Software Development with C
ανά: Qian, Kai, κ.ά.
Έκδοση: (2009)

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday /
Έκδοση: (2011)

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
Έκδοση: (2006)

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /
Έκδοση: (2005)

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
Έκδοση: (2015)

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /
Έκδοση: (2014)

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
Έκδοση: (2005)

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Έκδοση: (2013)

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
Έκδοση: (2008)

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
Έκδοση: (2011)

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Έκδοση: (2012)

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Έκδοση: (2013)

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Έκδοση: (2014)

Advanced Topics in Exception Handling Techniques
Έκδοση: (2006)

Methods, Models and Tools for Fault Tolerance
Έκδοση: (2009)

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings /
Έκδοση: (2008)

Virtual Machines
ανά: Craig, Iain D.
Έκδοση: (2006)

Domain-Specific Program Generation International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers /
Έκδοση: (2004)

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers /
Έκδοση: (2005)

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
Έκδοση: (2006)

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /
Έκδοση: (2005)

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
Έκδοση: (2007)

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