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...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Agha, Gul (Editor ), Igarashi, Atsushi (Editor ), Kobayashi, Naoki (Editor ), Masuhara, Hidehiko (Editor ), Matsuoka, Satoshi (Editor ), Shibayama, Etsuya (Editor ), Taura, Kenjiro (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2014.
|
Edición: | 1st ed. 2014. |
Colección: | Programming and Software Engineering,
8665 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
Publicado: (2008) -
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Publicado: (2012) -
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Publicado: (2012) -
Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /
Publicado: (2006) -
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
Publicado: (2015)