Der er 3 underkategorier
Softwaretestning
-
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Fight Fraud with Machine Learning (Bog, Hardback, Engelsk)Levering: Kan forudbestilles (Forventes d. 04-03-2026) -
Bemærk: Kan ikke leveres før jul.
String Analysis for Software Verification and Security (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques (Bog, Hardback, Engelsk)Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Formal Methods, Informally: How to Write Programs That Work (Bog, Hardback, Engelsk)Both beginning- and experienced programmers can improve the quality of their programming with this informal textbook. The author draws on... Læs mere
Levering: Kan forudbestilles (Forventes d. 31-01-2026) -
Bemærk: Kan ikke leveres før jul.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Bog, Hardback, Engelsk)This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Automated Software Testing: Foundations, Applications and Challenges (Bog, Hardback, Engelsk)This book covers both theory and applications in the automation of software testing tools and techniques for various types of software... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Code Clone Analysis: Research, Tools, and Practices (Bog, Hardback, Engelsk)The chapters that follow are categorized into three main parts to present 1) major tools for code clone analysis, 2) fundamental topics such as evaluation benchmarks, clone visualization, code clone searches, and code similarities, and 3) applications to actual problems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation and Fault Localization (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms (Bog, Hardback, Engelsk)Levering: Kan forudbestilles (Forventes d. 13-01-2026) -
Bemærk: Kan leveres før jul.
-
Bemærk: Kan ikke leveres før jul.
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
CyberSecurity in a DevOps Environment: From Requirements to Monitoring (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
