Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Numerical Software Verification Alessandro Abate
Codice Libristo: 16495678
Casa editrice Springer International Publishing AG, luglio 2017
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verif... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

filo teso. I disturbi mentali di adolescenti raccontati da due amici improbabili: un neuropsichiatra infantile e un giornalista Stefano Vicari / Libro In brossura
common.buy 16.69 €
Residentes chinos en Espana y su relacion con la vivienda Wanchu Zhong / Libro In brossura
common.buy 22.79 €
Der Traum, die Reise, die Ewigkeit und Gott Mike Dooley / Libro In brossura
common.buy 15.09 €
Scioa. L’Africa di Arthur Rimbaud / Libro Libro
common.buy 19.09 €

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Numerical Software Verification
Autore Alessandro Abate, Sylvie Boldo
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2017
Numero di pagine 115
EAN 9783319635002
ISBN 331963500X
Codice Libristo 16495678
Casa editrice Springer International Publishing AG
Peso 2234
Dimensioni 155 x 235 x 8

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software > Test e verifica del software
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

From German Prisoner of War to American Citizen Barbara Schmitter Heisler / Libro In brossura
common.buy 46.59 €
Adventures Of ELT The Super Dog Daniel R Pard / Libro In brossura
common.buy 15.89 €
Return to Circa '96 Bob Sawatzki / Libro In brossura
common.buy 28.19 €
Grow Great Vegetables in North Carolina Ira Wallace / Libro In brossura
common.buy 16.49 €
Lonely Planet Experience Italy Erica Firpo / Libro In brossura
common.buy 30.29 €
Wing Chun Punching Richard Wonnacott / Libro In brossura
common.buy 12.19 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?