Verified Software. Theories, Tools and Experiments
16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Series: Lecture Notes in Computer Science; 15525;
- Publisher's listprice EUR 53.49
-
22 184 Ft (21 128 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 4 437 Ft off)
- Discounted price 17 748 Ft (16 902 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
22 184 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Switzerland
- Date of Publication 3 May 2025
- Number of Volumes 1 pieces, Book
- ISBN 9783031866944
- Binding Paperback
- No. of pages121 pages
- Size 235x155 mm
- Language English
- Illustrations IX, 121 p. 37 illus., 22 illus. in color. Illustrations, black & white 659
Categories
Long description:
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.
MoreTable of Contents:
"
.- 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.
" More
The Making of the Fittest - DNA and the Ultimate Forensic Record of Evolution: DNA and the Ultimate Forensic Record of Evolution
9 072 HUF
8 618 HUF
Sensors and Systems for Space Applications VI
37 327 HUF
34 341 HUF
The Quantum Theory of Fields: Volume 3, Supersymmetry
35 353 HUF
31 818 HUF
