Foto 1 di 1

Ne hai uno da vendere?

Vendine uno simile

Metodi formali NASA: 11° Simposio Internazionale, NFM 2019, Houston, TX, USA, M-

Condizione:

Nuovo

Quantità:

3 disponibili

Prezzo:

US $87,40

CircaEUR 81,82

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 (921628)
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:386659275513

Ultimo aggiornamento: 19 mag 2024 07:33:00 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: 9783030206512

Book Title: NASA Formal Methods

ISBN: 9783030206512

Subject Area: Computers

Publication Name: NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

Publisher: Springer International Publishing A&G

Item Length: 9.3 in

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

Publication Year: 2019

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Author: Kristin Yvonne Rozier

Item Weight: 22.4 Oz

Item Width: 6.1 in

Number of Pages: Xxi, 392 Pages

Informazioni su questo prodotto

Product Information

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineeringand model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.

Product Identifiers

Publisher

Springer International Publishing A&G

ISBN-10

3030206513

ISBN-13

9783030206512

eBay Product ID (ePID)

7038415283

Product Key Features

Number of Pages

Xxi, 392 Pages

Language

English

Publication Name

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

Publication Year

2019

Subject

Software Development & Engineering / General, Computer Science, Compilers

Type

Textbook

Subject Area

Computers

Author

Kristin Yvonne Rozier

Series

Lecture Notes in Computer Science Ser.

Format

Trade Paperback

Dimensions

Item Weight

22.4 Oz

Item Length

9.3 in

Item Width

6.1 in

Additional Product Features

Series Volume Number

11460

Number of Volumes

1 Vol.

Illustrated

Yes

Lc Classification Number

Qa76.758

Table of Content

Formal verification, including theorem proving, model checking, and static analysis.- Advances in automated theorem proving including SAT and SMT solving.- Use of formal methods in software and system testing.- Run-time verification.- Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, and parallel and/or distributed techniques.- Code generation from formally verified models.- Safety cases and system safety.- Formal approaches to fault tolerance.- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems.- Formal methods in systems engineering and model-based development.- Correct-by-design controller synthesis.- Formal assurance methods to handle adaptive systems.

2019

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:386659275513

Ultimo aggiornamento: 19 mag 2024 07:33:00 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. 386659275513

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.