Software Verification

Sprache: Englisch

Verlag: Springer, Springer Dez 2020, 2020

3030636178 / 9783030636173

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 23. Januar 2017

Softcover

Zustand: Neu

EUR 53,49

EUR 60,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

This item is printed on demand - Print on Demand Titel. Neuware -SARL: OO Framework Specification for Static Analysis.- QPR Verify: A Static Analysis Tool for Embedded Software based on Bounded Model Checking.- Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.- Automatic Detection and Repair of Transition-Based Leakage in Software Binaries.- BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.- Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison.- Verfied Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.- MCBAT: Model Counting for Constraints over Bounded Integer Arrays.- Optimized NTT Algorithm.- Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results .- An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.- Rigorous Enclosure of Round-O Errors in Floating-Point Computations : Towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench.- Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.- SARL: OO Framework Speci cation for Static Analysis.- QPR Verify: A Static Analysis Tool for Embedded Software based on Bounded Model Checking.- Veri ed Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.- Automatic Detection and Repair of Transition-Based Leakage in Software Binaries.- BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.- Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison.- Veri ed Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.- MCBAT: Model Counting for Constraints over Bounded Integer Arrays.- Verification of an Optimized NTT Algorithm.- Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results .- An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.- Rigorous Enclosure of Round-O Errors in Floating-Point Computations.- Towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench.- Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 268 pp. Englisch. …

Bestandsnummer des Verkäufers 9783030636173

Titel
Software Verification
Autor
Maria Christakis
Verlag
Springer, Springer Dez 2020
Erscheinungsjahr
2020
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3030636178
ISBN-13
9783030636173
Artikelgewicht
411 Gramm
Abmessungen
235x155x15 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 23. Januar 2017

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 60,00EUR 75,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • PayPal
  • Vorauskasse

Shopbeschreibung

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Spezialisierung

Modernes Antiquariat - Bücher von 1960 bis heute

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

buchversandmimpf2000

Deutschland