Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers: Communications in Computer and Information Science, cartea 1288
Editat de Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiyen Limba Engleză Paperback – 17 mar 2021
Din seria Communications in Computer and Information Science
- 20% Preț: 308.40 lei
- 20% Preț: 633.74 lei
- 20% Preț: 307.62 lei
- 20% Preț: 320.11 lei
- 20% Preț: 621.55 lei
- 20% Preț: 625.13 lei
- 20% Preț: 316.37 lei
- 20% Preț: 319.80 lei
- 20% Preț: 621.73 lei
- 20% Preț: 622.03 lei
- 20% Preț: 624.52 lei
- Preț: 372.00 lei
- 20% Preț: 312.29 lei
- Preț: 365.78 lei
- 20% Preț: 318.38 lei
- 20% Preț: 316.97 lei
- 20% Preț: 314.32 lei
- 20% Preț: 621.24 lei
- 20% Preț: 320.73 lei
- 20% Preț: 316.37 lei
- 20% Preț: 316.97 lei
- 20% Preț: 320.90 lei
- 20% Preț: 631.40 lei
- 20% Preț: 307.20 lei
- 20% Preț: 318.38 lei
- 20% Preț: 320.90 lei
- 20% Preț: 312.91 lei
- 20% Preț: 625.93 lei
- 15% Preț: 614.21 lei
- 20% Preț: 619.07 lei
- 20% Preț: 314.63 lei
- 20% Preț: 320.11 lei
- 20% Preț: 999.46 lei
- 20% Preț: 792.30 lei
- 20% Preț: 622.03 lei
- 20% Preț: 1165.83 lei
- 20% Preț: 313.88 lei
- 20% Preț: 318.38 lei
- 20% Preț: 306.06 lei
- 20% Preț: 113.94 lei
- 20% Preț: 318.56 lei
- Preț: 367.42 lei
- 20% Preț: 470.58 lei
- 20% Preț: 711.20 lei
- 20% Preț: 319.32 lei
- 20% Preț: 310.74 lei
- 20% Preț: 388.47 lei
- 20% Preț: 317.77 lei
- 20% Preț: 506.42 lei
- 20% Preț: 637.50 lei
Preț: 311.36 lei
Preț vechi: 389.19 lei
-20% Nou
Puncte Express: 467
Preț estimativ în valută:
59.63€ • 64.53$ • 49.71£
59.63€ • 64.53$ • 49.71£
Carte tipărită la comandă
Livrare economică 09-23 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030714710
ISBN-10: 3030714713
Pagini: 209
Ilustrații: X, 209 p. 68 illus., 45 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.31 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seria Communications in Computer and Information Science
Locul publicării:Cham, Switzerland
ISBN-10: 3030714713
Pagini: 209
Ilustrații: X, 209 p. 68 illus., 45 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.31 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seria Communications in Computer and Information Science
Locul publicării:Cham, Switzerland
Cuprins
Partial Specifications of Libraries: Applications in Software Engineering.- Chaotic Time Series Prediction: Run for the Horizon.- Machine Learning and value generation in Software Development: a survey.- About using of Strings Similarity conception in software engineering.- Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs.- On DB-nets and their Applications.- Pre-Processing Network Messages of Trading Systems into Event Log for Process Mining.- Time series classification based on visualization of recurrence plots.- Relation between Test Coverage and Timed Automata Model Structure.- Random Graph Model for Structural Analysis of Online Communications.- The in uence of self-organizing teams on the structure of the social graph.- Making Bounded Model Checking Interprocedural in (Static Analysis) Style.- Static Taint Analysis for JavaScript Programs.- Generation of Testing Metrics by Using Cluster Analysis of Bug Reports.- Building an Adaptive Logs Classification System An Industrial Report.- Development of Test Suite with Formally Verified FSM Coverage: A Case Study.- Generation of test-based traces for automated partial software specifications extraction.