• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod: NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Programmeringsböcker
    3. Programvaruutveckling

    Software Fault Prevention, Verification, and Validation

    Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

    AvYuting Chen,Hiroyuki Okamura

    Häftad, Engelska, 2026

    Del 16356 i serien Lecture Notes in Computer Science

    741 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.The 11 full papers included in this book were carefully reviewed and selected from 31 submissions. They are grouped into the following topics: AI-driven approaches, and their combinations can be explored, established.

    Produktinformation

    • Utgivningsdatum:2026-02-18
    • Mått:155 x 235 x 11 mm
    • Vikt:306 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:179
    • Förlag:Springer Verlag, Singapore
    • ISBN:9789819560318

    Utforska kategorier

    • Programvaruutveckling inom Data och IT
    • Systemvetenskap och AI inom Data och IT

    Innehållsförteckning

    • .-  Software Analysis..- Impact of IEEE Computer Society in Advancing Technologies,including AI SE based on Modeling with Patterns and MLOps..- Can Generative AI Enhance the Effectiveness of N-Version Programming?..-  QRAT: A Reachability Analysis Tool for Quantum Programs..- An Empirical Study on Software Defect Prediction Based on NeuralNetwork DeepDebugger Technique..- Fuzzing the Solidity Compiler Solc with Fuzz4All..- Diagnosing and Repairing Field Access Hallucinations in LLM-BasedTest Generation..-  Data-driven and Scenario-based Risk Analysis Considering Uncertaintyin Machine Learning Systems..- Similarity Evaluation between Queries and Chunks in RAG Systems..- A Support Tool for Verification of Simulation Relations between StateMachines with Maude..-  Design and Implementation of a Software Tool to Support Agile-SOFL..-  Model Checking the Two-Phase Commit Protocol for DistributedDatabase Systems..-  FormalVerificationofMeasurement-basedQuantumComputationinMaude.