Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings /
This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019. The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 su...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Mazzara, Manuel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bruel, Jean-Michel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Meyer, Bertrand (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Petrenko, Alexander (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Έκδοση: | 1st ed. 2019. |
Σειρά: | Programming and Software Engineering ;
11771 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers /
Έκδοση: (2018) -
Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers /
Έκδοση: (2019) -
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /
Έκδοση: (2018) -
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Έκδοση: (2018) -
Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceedings /
Έκδοση: (2019)