Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
Punto Poste 5.49 €
Punto Poste 5.49 €
Corriere DHL 6.99 €
Corriere GLS 5.99 €
Punto GLS 4.49 €
Corriere Bartolini 4.49 €
Punto Bartolini 3.49 €
Contatto
Come acquistare
Aiuto
Consegna
Punto Poste 5.49 €
Punto Poste 5.49 €
Corriere DHL 6.99 €
Corriere GLS 5.99 €
Punto GLS 4.49 €
Corriere Bartolini 4.49 €
Punto Bartolini 3.49 €
Guida all'acquisto
Il mio account
▸
Vuoto :-(
0
Verification, Model Checking, and Abstract Interpretation
Lingua
Inglese
Inglese
Libro
In brossura
This book constitutes the refereed proceedings of the 20th International Conference on Verification,...
Descrizione completa
Codice Libristo: 21040880
?
111 b
111 b
45.49
€
Magazzino esterno
Inviamo tra 5-8 giorni
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
20.90
€
/
In brossura
18.49
€
/
In brossura
67.89
€
/
In brossura
111.39
€
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract
Attrice
&
Poliglotta
EWA KASP
per
Riproduci video
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.
Informazioni sul libro
Titolo completo
Verification, Model Checking, and Abstract Interpretation
Autore
Constantin Enea, Ruzica Piskac
Lingua
Inglese
Inglese
Rilegatura
Libro - In brossura
Data di pubblicazione
2019
Numero di pagine
602
EAN
9783030112448
ISBN
3030112446
Codice Libristo
21040880
Casa editrice
Springer Nature Switzerland AG
Peso
937
Dimensioni
155 x 235 x 235
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 destinatarioPotrebbe interessarti anche
/
In brossura
12.29
€
/
Rigido
28.29
€
