Verified Software. Theories, Tools and Experiments
16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Sorozatcím: Lecture Notes in Computer Science; 15525;
-
20% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár EUR 53.49
-
22 184 Ft (21 128 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 20% (cc. 4 437 Ft off)
- Kedvezményes ár 17 748 Ft (16 902 Ft + 5% áfa)
Iratkozzon fel most és részesüljön kedvezőbb árainkból!
Feliratkozom
22 184 Ft
Beszerezhetőség
Megrendelésre a kiadó utánnyomja a könyvet. Rendelhető, de a szokásosnál kicsit lassabban érkezik meg.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó Springer Nature Switzerland
- Megjelenés dátuma 2025. május 3.
- Kötetek száma 1 pieces, Book
- ISBN 9783031866944
- Kötéstípus Puhakötés
- Terjedelem121 oldal
- Méret 235x155 mm
- Nyelv angol
- Illusztrációk IX, 121 p. 37 illus., 22 illus. in color. Illustrations, black & white 659
Kategóriák
Hosszú leírás:
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.
TöbbTartalomjegyzék:
"
.- MoXIchecker: An Extensible Model Checker for MoXI.
.- Towards Verifying Security Policies for Infinite-State Systems.
.- Deductive Verification of Sparse Sets in Why3.
.- PolySAT: Word-level Bit-vector Reasoning in Z3.
.- Proof-Producing Symbolic Execution for P4.
.- Statically Inferring Usage Bounds for Infrastructure as Code.
.- hax: Verifying Security-Critical Rust Software using Multiple Provers.
" Több
Karlsruhe: Die Stadtgeschichte
10 534 Ft
Counterexamples in Probability
76 440 Ft
68 796 Ft
Netter's Atlas of Neuroscience: with STUDENT CONSULT Online Access
21 562 Ft
18 760 Ft
