Tests and Proofs: Lecture Notes in Computer Science, cartea 12740
Editat de Frédéric Loulergue, Franz Wotawaen Limba Engleză Paperback – 18 iun 2021
Din seria Lecture Notes in Computer Science
- 20%
Preț: 733.68 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 449.81 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 850.42 lei - 20%
Preț: 386.08 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 620.33 lei - 20%
Preț: 620.33 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 435.28 lei - 20%
Preț: 748.63 lei - 20%
Preț: 633.70 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 675.83 lei - 20%
Preț: 678.21 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 560.93 lei - 20%
Preț: 556.96 lei - 20%
Preț: 313.10 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 15%
Preț: 558.12 lei - 20%
Preț: 563.29 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 20%
Preț: 562.49 lei - 15%
Preț: 672.87 lei - 20%
Preț: 571.88 lei - 20%
Preț: 478.59 lei - 20%
Preț: 984.64 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei - 20%
Preț: 313.87 lei - 20%
Preț: 314.86 lei - 20%
Preț: 793.92 lei - 18%
Preț: 945.44 lei
Preț: 313.15 lei
Preț vechi: 391.44 lei
-20%
Puncte Express: 470
Preț estimativ în valută:
55.37€ • 63.50$ • 47.86£
55.37€ • 63.50$ • 47.86£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783030793784
ISBN-10: 3030793788
Pagini: 124
Ilustrații: XIII, 107 p. 10 illus.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.2 kg
Ediția:1st edition 2021
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3030793788
Pagini: 124
Ilustrații: XIII, 107 p. 10 illus.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.2 kg
Ediția:1st edition 2021
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
Learning, Test Resource Allocation and Benchmarks.- Use Case Testing: A Constrained Active Machine Learning Approach.- Architecture-Guided Test Resource Allocation Via Logic.- A Benchmarks Library for Extended Timed Automata.- Testing.- Generating Timed UI Tests from Counterexamples.- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs.- FuSeBMC: An Energy-E cient Test Generator for Finding Security Vulnerabilities in C Programs.