Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully revi...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Itsykson, Vladimir (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Scedrov, Andre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zakharov, Victor (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Communications in Computer and Information Science, 779
Θέματα:	Software engineering. Computer system failures. Computer simulation. Operating systems (Computers). Artificial intelligence. Programming languages (Electronic computers). Software Engineering. System Performance and Evaluation. Simulation and Modeling. Operating Systems. Artificial Intelligence. Programming Languages, Compilers, Interpreters.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
Έκδοση: (2019)

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
Έκδοση: (2018)

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
Έκδοση: (2018)

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings /
Έκδοση: (2019)

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /
Έκδοση: (2018)

Compiler Construction 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
ανά: Wilhelm, Reinhard, κ.ά.
Έκδοση: (2001)

Compiler Construction 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Έκδοση: (1999)

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers /
Έκδοση: (2018)

Mobile Agents: Control Algorithms
ανά: Baumann, Joachim, κ.ά.
Έκδοση: (2000)

Mobile Agents Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998 /
Έκδοση: (1998)

Soft-Ware 2002: Computing in an Imperfect World First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings /
Έκδοση: (2002)

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings /
Έκδοση: (2018)

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
Έκδοση: (2018)

Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems /
Έκδοση: (2001)

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers /
Έκδοση: (2003)

Engineering Distributed Objects Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers /
Έκδοση: (2001)

Advances in Exception Handling Techniques
Έκδοση: (2001)

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Mobile Agents 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings /
Έκδοση: (2001)

Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings /
Έκδοση: (2019)

Modular Programming Languages Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings /
Έκδοση: (2000)

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
Έκδοση: (2018)

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings /
Έκδοση: (2019)

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
Έκδοση: (2018)

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings /
Έκδοση: (2018)

Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings /
Έκδοση: (2001)

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
Έκδοση: (2019)

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /
Έκδοση: (2018)

Middleware 2004 ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings /
Έκδοση: (2004)

Grid Computing - GRID 2001 Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings /
Έκδοση: (2001)

Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers /
Έκδοση: (2018)

Middleware 2000 IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings /
Έκδοση: (2000)

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /
Έκδοση: (2019)

Software and Compilers for Embedded Systems 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings /
Έκδοση: (2003)

Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings /
Έκδοση: (1998)

Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Έκδοση: (2003)

Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
ανά: Fahringer, Thomas, κ.ά.
Έκδοση: (2003)

Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
Έκδοση: (2003)

Distributed Applications and Interoperable Systems 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings /
Έκδοση: (2003)

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