Foto 1 di 1

Ne hai uno da vendere?

Vendine uno simile

Metodi formali NASA: 13° Simposio Internazionale, NFM 2021, evento virtuale, maggio -

Condizione:

Nuovo

Quantità:

3 disponibili

Prezzo:

US $113,62

CircaEUR 106,37

Goditi i vantaggi. Restituzioni accettate.

Spedizione:

Gratis Economy Shipping. Vedi i dettagliper la spedizione

Oggetto che si trova a: Fairfield, Ohio, Stati Uniti

Consegna:

Consegna prevista tra il mar 9 lug e il ven 19 lug a 43230

Restituzioni:

Restituzioni entro 30 giorni. L'acquirente paga le spese di spedizione per la restituzione dell'oggetto. Vedi i dettagli- per maggiori informazioni sulle restituzioni

Pagamenti:

Fai shopping in tutta sicurezza

Garanzia cliente eBay

Se non ricevi l'oggetto che hai ordinato, riceverai il rimborso.

Ulteriori informazioniGaranzia cliente eBay - viene aperta una nuova finestra o scheda

Informazioni sul venditore

grandeagleretail (921641)
98,3% di Feedback positivi

Registrato come venditore professionale

Segnala questo oggetto - si apre in una nuova finestra o scheda

Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.

Numero oggetto eBay:395142283145

Ultimo aggiornamento: 19 mag 2024 12:30:53 CESTVedi tutte le revisioniVedi tutte le revisioni

Specifiche dell'oggetto

Condizione: Nuovo: Libro nuovo, intatto e non letto, in perfette condizioni, senza pagine mancanti o ...

ISBN-13: 9783030763831

Book Title: NASA Formal Methods

ISBN: 9783030763831

Subject Area: Computers

Publication Name: NASA Formal Methods : 13th NASA International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

Publisher: Springer International Publishing A&G

Item Length: 9.3 in

Subject: Software Development & Engineering / General, Hardware / General, Computer Science

Publication Year: 2021

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Author: Mariano M. Moscato

Item Weight: 22.6 Oz

Item Width: 6.1 in

Number of Pages: Xvi, 402 Pages

Informazioni su questo prodotto

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

Number of Pages

Xvi, 402 Pages

Language

English

Publication Name

NASA Formal Methods : 13th NASA International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

Publication Year

2021

Subject

Software Development & Engineering / General, Hardware / General, Computer Science

Type

Textbook

Subject Area

Computers

Author

Mariano M. Moscato

Series

Lecture Notes in Computer Science Ser.

Format

Trade Paperback

Dimensions

Item Weight

22.6 Oz

Item Length

9.3 in

Item Width

6.1 in

Additional Product Features

Series Volume Number

12673

Number of Volumes

1 Vol.

Illustrated

Yes

Lc Classification Number

Qa76.758

Table of Content

2021

Descrizione dell'oggetto fatta dal venditore

Informazioni sul venditore professionale

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Mostra Informazioni di contatto

:liamEmoc.liaterelgaednarg@yabe

Certifico che tutte le mie attività di vendita saranno conformi alle leggi e ai regolamenti dell'Unione Europea.

Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.

Numero oggetto eBay:395142283145

Ultimo aggiornamento: 19 mag 2024 12:30:53 CESTVedi tutte le revisioniVedi tutte le revisioni

Spedizione e imballaggio

Luogo in cui si trova l'oggetto:

Fairfield, Ohio, Stati Uniti

Destinazione:

Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua e Barbuda, Antille olandesi, Arabia Saudita, Argentina, Armenia, Aruba, Australia, Austria, Bahamas, Bahrain, Bangladesh, Belgio, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia-Erzegovina, Botswana, Brasile, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambogia, Camerun, Canada, Capo Verde, Isole, Ciad, Cile, Cina, Cipro, Città del Vaticano, Colombia, Comore, Corea del Sud, Costa Rica, Costa d'Avorio, Danimarca, Dominica, Ecuador, Egitto, El Salvador, Emirati Arabi Uniti, Eritrea, Estonia, Etiopia, Falkland, Isole (Malvine), Fiji, Filippine, Finlandia, Francia, Gambia, Georgia, Germania, Ghana, Giamaica, Giappone, Gibilterra, Gibuti, Giordania, Grecia, Grenada, Groenlandia, Guatemala, Guernsey, Guiana, Guinea, Guinea Equatoriale, Guinea-Bissau, Haiti, Honduras, Hong Kong, India, Indonesia, Iraq, Irlanda, Islanda, Isole Cayman, Isole Cook, Isole Salomone, Isole Vergini Britanniche, Israele, Italia, Jersey, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Lesotho, Lettonia, Libano, Liberia, Liechtenstein, Lituania, Lussemburgo, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldive, Mali, Malta, Marocco, Mauritania, Mauritius, Mayotte, Messico, Moldavia, Monaco, Mongolia, Montenegro, Montserrat, Mozambico, Namibia, Nauru, Nepal, Nicaragua, Niger, Nigeria, Niue, Norvegia, Nuova Zelanda, Oman, Paesi Bassi, Pakistan, Paraguay, Perù, Polonia, Portogallo, Qatar, Regno Unito, Repubblica Ceca, Repubblica Centrafricana, Repubblica Dominicana, Repubblica del Congo, Repubblica del Gabon, Repubblica dell'Azerbaigian, Repubblica democratica del Congo, Repubblica di Croazia, Romania, Ruanda, Sahara Occidentale, Saint Kitts e Nevis, Saint Pierre e Miquelon, Saint Vincent e Grenadine, San Marino, Sant'Elena, Santa Lucia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovacchia, Slovenia, Somalia, Spagna, Sri Lanka, Sud Africa, Suriname, Svalbard e Jan Mayen, Svezia, Svizzera, Swaziland, Taiwan, Tajikistan, Tanzania, Thailandia, Togo, Tonga, Trinidad e Tobago, Tunisia, Turchia, Turkmenistan, Turks e Caicos, Isole, Tutto il mondo, Tuvalu, Uganda, Ungheria, Uruguay, Uzbekistan, Vanuatu, Vietnam, Wallis e Futuna, Yemen, Zambia, Zimbabwe

Paesi in cui non si effettua la spedizione:

APO/FPO, Alaska/Hawaii, Barbados, Bielorussia, Federazione Russa, Guadalupa, Guyana francese, Libia, Martinica, Nuova Caledonia, Panama, Papua Nuova Guinea, Polinesia francese, Protettorati USA, Riunione, Samoa occidentali, Ucraina, Venezuela

Quantità:

Modifica il Paese:

CAP:

Spedizione e imballaggio	Ogni oggetto aggiuntivo	A	Servizio	Consegna*Vedi le note di consegna
Spedizione gratuita	Gratis	Stati Uniti	Economy Shipping	Consegna prevista tra il mar 9 lug e il ven 19 lug a 43230

Note - Consegna *Le date di consegna stimate includono tempi di imballaggio, CAP di origine, CAP di destinazione e periodo di accettazione e dipendono dal servizio di spedizione selezionato e dalla ricezione del pagamento. I tempi di consegna possono variare, soprattutto durante le festività.

Tempi di imballaggio

La spedizione di solito viene effettuata entro 10 giorni lavorativi dalla ricezione del pagamento.

Imposte

Potrebbero essere applicate tasse al momento del pagamento. Ulteriori informazioniUlteriori informazioni sul pagamento delle imposte sugli acquisti eBay.

Imposte sulle vendite per oggetto num. 395142283145

Il venditore riscuote l'imposta sulle vendite per gli oggetti spediti ai seguenti Stati:

Stato	Aliquota dell'imposta sulla vendita

* L'imposta viene calcolata per il totale parziale, la spedizione e l'imballaggio solo per questi Stati

Regole sulle restituzioni

Dopo aver ricevuto l'oggetto, contatta il venditore entro	Modalità di rimborso	Spese di restituzione
30 giorni	Rimborso in contanti	L'acquirente paga le spese di spedizione per la restituzione dell'oggetto

Clicca quiqui per ulteriori dettagli sulle Restituzioni. Per le transazioni idonee, sei coperto dal programma Garanzia cliente eBay se ricevi un oggetto non conforme alla descrizione.

Le spese di spedizione per la restituzione sono a carico dell'acquirente.

Informazioni sulla restituzione
Restituzioni accettate

Dettagli di pagamento

Metodi di pagamento

Nota: nella procedura di pagamento potrebbero non essere disponibili alcuni metodi di pagamento a causa della valutazione del rischio dell'acquirente.