Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /

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...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	SpringerLink (Online service)
Altri autori:	Woodcock, Jim, Zhu, Huibiao, Liu, Zhiming
Natura:	eBook
Lingua:	English
Pubblicazione:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Serie:	Lecture Notes in Computer Science 8051
Soggetti:	Computer science. Software engineering. Information theory. Computer simulation.
Accesso online:	Click here to view the full text content
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Documenti analoghi

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Pubblicazione: (2005)

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 /
Pubblicazione: (2013)

Logic and program semantics : Essays dedicated to dexter kozen on the occasion of his 60th birthday /
Pubblicazione: (2012)

Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
Pubblicazione: (2014)

Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th Birthday /
Pubblicazione: (2010)

Formal methods for model-driven engineering : 12th International school on formal methods for the design of computer, communication, and software systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /
Pubblicazione: (2012)

Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
di: Aldini, Alessandro
Pubblicazione: (2010)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
di: Fitzgerald, John
Pubblicazione: (2005)

Cryptography and security: From theory to applications : Essays dedicated to jean-jacques quisquater on the occasion of his 65th birthday /
Pubblicazione: (2012)

Data management in a connected world essays dedicated to Hartmut Wedekind on the occasion of his 70th Birthday
Pubblicazione: (2005)

Computing with new resources : essays dedicated to jozef gruska on the occasion of his 80th birthday /
Pubblicazione: (2014)

Handbook of nature-inspired and innovative computing : integrating classical models with emerging technologies /

Language, culture, computation. computing - theory and technology : Essays dedicated to Yaacov Choueka on the Occasion of his 75th birthday, Part I /
Pubblicazione: (2014)

Languages alive essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday /
Pubblicazione: (2012)

FM 2014: formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Pubblicazione: (2014)

Formal theories of information from shannon to semantic information theory and general concepts of information /
Pubblicazione: (2009)

FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /
Pubblicazione: (2012)

Formal methods : state of the art and new directions /
Pubblicazione: (2010)

Formal methods and software engineering 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
Pubblicazione: (2010)

Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
Pubblicazione: (2014)

Formal methods and software engineering 14th International conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /
Pubblicazione: (2012)

Formal Methods: foundations and applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Pubblicazione: (2012)

Algorithms and applications essays dedicated to esko ukkonen on the occasion of His 60th Birthday /
Pubblicazione: (2010)

Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /
Pubblicazione: (2014)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Pubblicazione: (2012)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Pubblicazione: (2010)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Pubblicazione: (2013)

Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /
Pubblicazione: (2012)

Theory and practice of model transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings /
Pubblicazione: (2009)

Formal methods: state of the art and new directions
Pubblicazione: (2010)

FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Pubblicazione: (2015)

Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
Pubblicazione: (2012)

Software service and application engineering : Essays dedicated to bernd krämer on the occasion of his 65th birthday /
Pubblicazione: (2012)

Computation, physics and beyond : international workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012, revised selected and invited papers /
di: Dinneen, Michael J.
Pubblicazione: (2012)

Genetic programming theory and practice X /
Pubblicazione: (2013)

Genetic programming theory and practice XI /
Pubblicazione: (2014)

Formal methods applications and technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
di: Brim, Lubos
Pubblicazione: (2007)

Theory and applications of formal argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers /
Pubblicazione: (2014)

Computation, logic, games, and quantum foundations. the many facets of Samson Abramsky : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
Pubblicazione: (2013)

Engineering theories of software intensive systems proceedings of the NATO advanced study institute on engineering theories of software intensive systems marktoberdorf, Germany 3-15 August 2004 /
Pubblicazione: (2005)