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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Liu, Zhiming (Επιμελητής έκδοσης), Woodcock, Jim (Επιμελητής έκδοσης), Zhu, Huibiao (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Σειρά:	Lecture Notes in Computer Science, 8051
Θέματα:	Computer science. Software engineering. Computers. Computer simulation. Computer Science. Theory of Computation. Software Engineering. Simulation and Modeling.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Έκδοση: (2017)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
Έκδοση: (2008)

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /
Έκδοση: (2017)

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
Έκδοση: (2005)

Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings /
Έκδοση: (2008)

Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings /
Έκδοση: (2016)

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings /
Έκδοση: (2008)

Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers /
Έκδοση: (2015)

Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers /
Έκδοση: (2015)

Guide to Distributed Simulation with HLA
ανά: Topçu, Okan, κ.ά.
Έκδοση: (2017)

Process Design for Natural Scientists An Agile Model-Driven Approach /
Έκδοση: (2014)

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Έκδοση: (2017)

Transactions on Petri Nets and Other Models of Concurrency IV
Έκδοση: (2010)

Transactions on Petri Nets and Other Models of Concurrency V
Έκδοση: (2012)

Distributed Simulation A Model Driven Engineering Approach /
ανά: Topçu, Okan, κ.ά.
Έκδοση: (2016)

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /
Έκδοση: (2016)

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Έκδοση: (2017)

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

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
Έκδοση: (2009)

The Common Component Modeling Example Comparing Software Component Models /
Έκδοση: (2008)

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

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I /
Έκδοση: (2009)

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II /
Έκδοση: (2009)

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III /
Έκδοση: (2005)

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
Έκδοση: (2016)

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude /
ανά: Ölveczky, Peter Csaba
Έκδοση: (2017)

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /
Έκδοση: (2008)

Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings /
Έκδοση: (2006)

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings /
Έκδοση: (2007)

Combinatorial Testing in Cloud Computing
ανά: Tsai, Wei-Tek, κ.ά.
Έκδοση: (2017)

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings /
Έκδοση: (2007)

Domain Engineering Product Lines, Languages, and Conceptual Models /
Έκδοση: (2013)

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /
Έκδοση: (2005)

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers /
Έκδοση: (2012)

Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings /
Έκδοση: (2014)

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers /
Έκδοση: (2010)

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers /
Έκδοση: (2013)

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers /
Έκδοση: (2014)

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France /
Έκδοση: (2005)

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers /
Έκδοση: (2007)

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