Atnaujinkite slapukų nuostatas

El. knyga: Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Edited by , Edited by
  • Formatas: PDF+DRM
  • Serija: Lecture Notes in Computer Science 14095
  • Išleidimo metai: 26-Jul-2024
  • Leidėjas: Springer International Publishing AG
  • Kalba: eng
  • ISBN-13: 9783031660641
Kitos knygos pagal šią temą:
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected PapersDidesnis paveikslėlis
  • Formatas: PDF+DRM
  • Serija: Lecture Notes in Computer Science 14095
  • Išleidimo metai: 26-Jul-2024
  • Leidėjas: Springer International Publishing AG
  • Kalba: eng
  • ISBN-13: 9783031660641
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 2324, 2023.





The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

Picky CDCL: SMT-solving With Flexible Literal Selection.- Safety Performance of Neural Networks in the Presence of Covariate Shift.- Pierce: A Testing Tool for Neural Network Verification Solvers.- Specifying and Verifying a Real-World Packet Error-Correction System.- Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL.- Provable Determinism for Software in Cyber-Physical Systems.

Daugiau apie elektronines knygas Daugiau apie elektronines knygas
Pastovi nuoroda: https://www.kriso.lt/db/97830316606412e.html