Tools and Methods for Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers (Communications in Computer and Information Science)
3 Angebote vergleichen
Bester Preis: € 51,31 (vom 01.11.2017)1
Symbolbild
Tools and Methods for Program Analysis (2017)
DE HC NWISBN: 9783319717333 bzw. 3319717332, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei innerhalb von Deutschland.
This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification. Lieferzeit 1-2 Werktage.
This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification. Lieferzeit 1-2 Werktage.
2
Symbolbild
Tools and Methods for Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers (Communications in Computer and Information Science) (2017)
EN PB NW FEISBN: 9783319717333 bzw. 3319717332, in Englisch, Springer, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Not yet published, zzgl. Versandkosten (wenn der Anbieter in Ihr Land liefert).
Von Händler/Antiquariat, Amazon.com.
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, Revised Selected Papers. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification. , Paperback, Ausgabe: 1st ed. 2018, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2018-01-02, Studio: Springer.
Von Händler/Antiquariat, Amazon.com.
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, Revised Selected Papers. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification. , Paperback, Ausgabe: 1st ed. 2018, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2018-01-02, Studio: Springer.
3
Tools and Methods for Program Analysis
DE NWISBN: 9783319717333 bzw. 3319717332, in Deutsch, Springer Nature, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…