Foto 1 di 1

Ne hai uno da vendere?

Vendine uno simile

NASA Formal Methods : 7th International Symposi. Havelund, Holzmann, Joshi<|

Condizione:

Nuovo

Quantità:

5 disponibili

Prezzo:

GBP 85,14

CircaEUR 100,65

Goditi i vantaggi. Restituzioni accettate.

Spedizione:

Potrebbe non spedire verso: Stati Uniti. Per le opzioni di spedizione leggi la descrizione dell'oggetto oppure contatta il venditore. Vedi i dettagliper la spedizione

Oggetto che si trova a: South East, Regno Unito

Consegna:

Varia

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

baham_books (2239342)
99,1% 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:296174265248

Specifiche dell'oggetto

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

PublishedOn: 2015-04-09

Title: NASA Formal Methods : 7th International Symposium, NFM 2015, Pas

ISBN: 9783319175232

Publication Year: 2015

Type: Textbook

Format: Paperback

Language: English

Publication Name: NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Item Height: 235mm

Author: Klaus Havelund, Rajeev Joshi, Gerard Holzmann

Publisher: Springer International Publishing A&G

Item Width: 155mm

Subject: Computer Science

Item Weight: 718g

Number of Pages: 458 Pages

Informazioni su questo prodotto

Product Information

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.

Product Identifiers

Publisher

Springer International Publishing A&G

ISBN-13

9783319175232

eBay Product ID (ePID)

213004434

Product Key Features

Author

Klaus Havelund, Rajeev Joshi, Gerard Holzmann

Publication Name

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Format

Paperback

Language

English

Subject

Computer Science

Publication Year

2015

Type

Textbook

Number of Pages

458 Pages

Dimensions

Item Height

235mm

Item Width

155mm

Volume

9058

Item Weight

718g

Additional Product Features

Series Title

Programming and Software Engineering

Country/Region of Manufacture

Switzerland

Editor

Rajeev Joshi, Gerard Holzmann, Klaus Havelund

Descrizione dell'oggetto fatta dal venditore

Informazioni sul venditore professionale

WRAP Ltd.

Mubin Ahmed

Unit 4

119 Loverock Road

Reading

Berkshire

RG30 1DZ

United Kingdom

Mostra Informazioni di contatto

:onofeleT60358080080

:liamEmoc.aidemtumahab@yabe

Numero Partita IVA:

GB 724498118

Numero registro delle imprese:

03800600

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

Numero di registrazione dell'impresa:

03800600

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

Numero oggetto eBay:296174265248

Spedizione e imballaggio

Il venditore non ha specificato un metodo di spedizione nei seguenti Paesi: Stati Uniti. Contatta il venditore e richiedi la spedizione per il tuo indirizzo.

Luogo in cui si trova l'oggetto:

South East, Regno Unito

Destinazione:

Australia, Canada, Giappone, Regno Unito, Unione Europea

Paesi in cui non si effettua la spedizione:

Afghanistan, Austria, Federazione Russa, Germania, Libia, Nauru, Somalia, Svizzera, Ucraina, Yemen

Tempi di imballaggio

La spedizione di solito viene effettuata entro 5 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. 296174265248

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	Spese di restituzione
30 giorni	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.