Terug naar de homepage
|Aangeboden in rubriek:
|
Toevoegen aan Volglijst

Afbeelding 1 van 1

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May - Afbeelding 1 van 1
Hebt u iets om te verkopen?
Verkoop het zelf

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May

Objectstaat:
Nieuw
3 beschikbaar
Prijs:
US $113,62
OngeveerEUR 104,95
Verzendkosten:
Gratis Economy Shipping. Details bekijkenvoor verzending
Bevindt zich in: Fairfield, Ohio, Verenigde Staten
Levering:
Geschatte levering tussen di, 11 jun en za, 22 jun tot 43230
Bij geschatte leveringsdatums - nieuw venster of tabblad wordt rekening gehouden met de verwerkingstijd van de verkoper, de postcode van de verzendlocatie, de postcode van de bestemming, en het moment van aanvaarding. Geschatte leveringsdatums zijn ook afhankelijk van de geselecteerde verzendservice en de ontvangst van de betalingbetaling ontvangen - nieuw venster of tabblad. De leveringstermijnen kunnen variëren, vooral gedurende piekperiodes.
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
     

Winkel met vertrouwen

eBay-topverkoper
Betrouwbare verkoper, snelle verzending en eenvoudige retourzending. 
Meer weten?- Topverkoper Plus: nieuw venster of tabblad
Geld-terug-garantie van eBay
Ontvang het object dat u hebt besteld of krijg uw geld terug. 
Meer informatieGeld-terug-garantie van eBay - nieuw venster of tabblad

Verkopergegevens

Ingeschreven als zakelijke verkoper
Dit object rapporteren - nieuw venster of nieuw tabblad
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:395142283145
Laatst bijgewerkt op 19 mei 2024 12:30:53 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Specificaties

Objectstaat
Nieuw: Een nieuw, ongelezen en ongebruikt boek in perfecte staat waarin geen bladzijden ontbreken of ...
ISBN-13
9783030763831
Book Title
NASA Formal Methods
ISBN
9783030763831
Series
Lecture Notes in Computer Science Ser.
Publication Year
2021
Type
Textbook
Format
Trade Paperback
Language
English
Publication Name
NASA Formal Methods : 13th NASA International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
Author
Mariano M. Moscato
Item Length
9.3in
Publisher
Springer International Publishing A&G
Item Width
6.1in
Item Weight
22.6 Oz
Number of Pages
Xvi, 402 Pages

Over dit product

Product Information

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.- nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement.- Minimum-Violation Traffic Management for Urban Air Mobility.- Integrating Formal Verification and Assurance: An Inspection Rover Case Study.- Towards verifying SHA256 in OpenSSL with the Software Analysis Workbench.- Polygon Merge: A Geometric Algorithm Verified Using PVS.- Program Sketching using Lifted Analysis for Numerical Program Families.- Specification Decomposition for Reactive Synthesis.- On Symmetry and Quantification: A New Approach to Verify Distributed Protocols.- Integrating Runtime Verification into a Sounding Rocket Control System.- Verification of Functional Correctness of Code Diversi cation Techniques.- Scalable Reliability Analysis by Lazy Verification.- Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.- Good fences make good neighbors: Using formally verified safe trajectories to design a predictive geofence algorithm.- Online Shielding for Stochastic Systems.- Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model.- An Infrastructure for Faithful Execution of Remote Attestation Protocols.- Verifying min-plus Computations with Coq.- Efficient Verification of Optimized Code: Correct High-speed X25519.- A formal proof of the Lax equivalence theorem for finite difference schemes.- Recursive Variable-Length State Compression for Multi-Core Software Model Checking.- Runtime Verification of Generalized Test Tables.- Quasi-Equal Clock Reduction On-the-Fly.- On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

Product Identifiers

Publisher
Springer International Publishing A&G
ISBN-10
3030763838
ISBN-13
9783030763831
eBay Product ID (ePID)
23050405457

Product Key Features

Author
Mariano M. Moscato
Publication Name
NASA Formal Methods : 13th NASA International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
Format
Trade Paperback
Language
English
Series
Lecture Notes in Computer Science Ser.
Publication Year
2021
Type
Textbook
Number of Pages
Xvi, 402 Pages

Dimensions

Item Length
9.3in
Item Width
6.1in
Item Weight
22.6 Oz

Additional Product Features

Series Volume Number
12673
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.- nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement.- Minimum-Violation Traffic Management for Urban Air Mobility.- Integrating Formal Verification and Assurance: An Inspection Rover Case Study.- Towards verifying SHA256 in OpenSSL with the Software Analysis Workbench.- Polygon Merge: A Geometric Algorithm Verified Using PVS.- Program Sketching using Lifted Analysis for Numerical Program Families.- Specification Decomposition for Reactive Synthesis.- On Symmetry and Quantification: A New Approach to Verify Distributed Protocols.- Integrating Runtime Verification into a Sounding Rocket Control System.- Verification of Functional Correctness of Code Diversi cation Techniques.- Scalable Reliability Analysis by Lazy Verification.- Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.- Good fences make good neighbors: Using formally verified safe trajectories to design a predictive geofence algorithm.- Online Shielding for Stochastic Systems.- Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model.- An Infrastructure for Faithful Execution of Remote Attestation Protocols.- Verifying min-plus Computations with Coq.- Efficient Verification of Optimized Code: Correct High-speed X25519.- A formal proof of the Lax equivalence theorem for finite difference schemes.- Recursive Variable-Length State Compression for Multi-Core Software Model Checking.- Runtime Verification of Generalized Test Tables.- Quasi-Equal Clock Reduction On-the-Fly.- On the Effectiveness of Signal Rescaling in Hybrid System Falsification.
Copyright Date
2021
Topic
Software Development & Engineering / General, Hardware / General, Computer Science
Illustrated
Yes
Genre
Computers

Objectbeschrijving van de verkoper

Informatie van zakelijke verkoper

Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Contactgegevens weergeven
:liam-Emoc.liaterelgaednarg@yabe
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.