Hopp til hovedinnholdet
Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

Redigert av Azalea Raad, Jonathan Protzenko, 2025.Del av serien Lecture Notes in Computer Science.

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.

The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.

PocketEngelsk
Normalpris: 649,-
584,-
Spar 65,-

Ikke tilgjengelig for Klikk&Hent

Midlertidig tomt på lager

Bestillingsvare. Forventes sendt om ca 20 dager

Oppdag mer

Produktinformasjon
Format
Pocket
Utgivelsesår
2025
Første salgsdato
03.05.2025
Forlag
Springer International Publishing AG
Språk
Engelsk
Antall sider
121
Høyde
235 mm
Bredde
155 mm
Serie
Lecture Notes in Computer Science
ISBN
9783031866944
Kundevurderinger

0

0 vurderinger

0%
0%
0%
0%
0%

Kundevurderingene er skrevet av verifiserte kjøpere. Det betyr at produktet som vurderes må være kjøpt hos ARK og registrert på brukers profil. For å registrere kjøp gjort i butikk, må man være ARK-venn.

Mer om kundevurderinger i ARK
584,-

Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.