Der er 3 underkategorier
Softwaretestning
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Software Exorcism (Bog, Paperback / softback, Engelsk)While there are plenty of books on the market that cover debugging and short-term workarounds for bad code, Reverend Bill Blunden takes a revolutionary step beyond them by bringing our attention to the underlying illnesses that plague the software industry as a whole.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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.
Unraveling Software Maintenance and Evolution: Thinking Outside the Box (Bog, Paperback / softback, Engelsk)It delivers the content in a pragmatic fashion using case studies which are woven into long running story lines. The book is... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model-Driven Dependability Assessment of Software Systems (Bog, Paperback / softback, Engelsk)This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.
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 leveres før jul.
String Analysis for Software Verification and Security (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Java Unit Testing with JUnit 5: Test Driven Development with JUnit 5 (Bog, Paperback / softback, Engelsk)Explore the new way of building and maintaining test cases with Java test driven development (TDD) using JUnit 5.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Appium Insights: Strategies for Successful Platform Agnostic Test Automation (Bog, Paperback / softback, Engelsk)Levering: 6 - 9 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 garanteres før jul. Se dato på varen.
Formal Methods, Informally: How to Write Programs That Work (Bog, Paperback / softback, 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)
