Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Software Verification

E-BookPDF1 - PDF WatermarkE-Book
Englisch
Springer International Publishingerschienen am21.02.20221st ed. 2022
Verfügbare Formate
BuchKartoniert, Paperback
EUR58,84
E-BookPDF1 - PDF WatermarkE-Book
EUR58,84

Produkt

Details
Weitere ISBN/GTIN9783030955618
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2022
Erscheinungsdatum21.02.2022
Auflage1st ed. 2022
ReiheLecture Notes in Computer Science
Reihen-Nr.13124
SpracheEnglisch
IllustrationenXIV, 197 p. 67 illus., 42 illus. in color.
Artikel-Nr.8856122
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
VSTTE 2021.- Quantitative Monitoring of Software.- Making Proofs of Floating-Point Programs Accessible to Regular Developers.- A Calculus for Multi-language Operational Semantics.- Partial Order Reduction for Timed Actors.- Uncertainty-Aware Signal Temporal Logic Inference.- Designing and Proving Properties of the Abaco Autoscaler Using TLA+.- Case Study: Analysis of Autonomous Center line Tracking Neural Networks.- Abstract Interpretation of LLVM with a Region-Based Memory Model.- NSV 2021.- Formal Verification of Neural Network Controllers for Collision-Free Flight.- An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.-Modeling Round-off Errors in Hydrodynamic Simulations.mehr