Cargando…

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Col...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Liu, Zhiming (Editor ), Woodcock, Jim (Editor ), Zhu, Huibiao (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Colección:	Theoretical Computer Science and General Issues, 8051
Temas:	Computer science. Software engineering. Computer simulation. Theory of Computation. Software Engineering. Computer Modelling.
Acceso en línea:	Texto Completo

Ejemplares similares

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
Publicado: (2016)

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
Publicado: (2016)

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
Publicado: (2005)

Transactions on Petri Nets and Other Models of Concurrency V
Publicado: (2012)

Transactions on Petri Nets and Other Models of Concurrency IV
Publicado: (2010)

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings /
Publicado: (2008)

Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers /
Publicado: (2012)

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /
Publicado: (2007)

Computational Science and Its Applications - ICCSA 2005 International Conference, Singapore, May 9-12. 2005, Proceedings, Part III /
Publicado: (2005)

Process Design for Natural Scientists An Agile Model-Driven Approach /
Publicado: (2014)

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday /
Publicado: (2012)

Computational Science - ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /
Publicado: (2009)

Computational Science - ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /
Publicado: (2009)

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
Publicado: (2012)

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers /
Publicado: (2012)

Computational Science and Its Applications -- ICCSA 2009 International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part I /
Publicado: (2009)

Computational Science and Its Applications - ICCSA 2009 International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II /
Publicado: (2009)

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /
Publicado: (2005)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
Publicado: (2008)

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
Publicado: (2013)

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday /
Publicado: (2012)

Computational Science - ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I /
Publicado: (2006)

Computational Science - ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV /
Publicado: (2006)

Computational Science - ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III /
Publicado: (2008)

Computational Science - ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II /
Publicado: (2006)

Computational Science - ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I /
Publicado: (2008)

Computational Science - ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III /
Publicado: (2006)

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /
Publicado: (2007)

Computational Science - ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II /
Publicado: (2008)

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /
Publicado: (2007)

Computational Science -- ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III /
Publicado: (2005)

Computational Science -- ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II /
Publicado: (2005)

Computational Science -- ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I /
Publicado: (2005)

Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings /
Publicado: (2008)

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
Publicado: (2015)

Computational Science and Its Applications - ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II /
Publicado: (2007)

Computational Science and Its Applications - ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I /
Publicado: (2005)

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV /
Publicado: (2006)

Computational Science and Its Applications - ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II /
Publicado: (2005)

Computational Science and Its Applications - ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part III /
Publicado: (2007)

Cannot write session to /tmp/vufind_sessions/sess_mhflavttruudkt480efnbfgb9m