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 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Tests and Proofs Catherine Dubois
Codice Libristo: 19406924
Casa editrice Springer International Publishing AG, giugno 2018
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Bývalý cizinec Valentin Popov / Libro In brossura
common.buy 5.59 €
Analisis de la realidad socioeconomica en Chile Benjamín Israel Navon / Libro In brossura
common.buy 22.49 €
La Chute d'Albert Camus Nathalie Ginestier / Libro In brossura
common.buy 27.19 €
280 huiles essentielles (Poche) Michel Dogna / Libro In brossura
common.buy 13.99 €
Ffordd Beryglus, Y T. Llew Jones / Libro elettronico Adobe ePub DRM
common.buy 7.49 €
Ombres chinoises Petit Guide / Libro elettronico Adobe ePub DRM
common.buy 3.59 €

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

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 Tests and Proofs
Autore Catherine Dubois, Burkhart Wolff
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2018
Numero di pagine 185
EAN 9783319929934
ISBN 3319929933
Codice Libristo 19406924
Casa editrice Springer International Publishing AG
Peso 314
Dimensioni 155 x 235 x 12

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale
Informatica e Tecnologia dell’Informazione > Sicurezza informatica
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

Journey to Antipodes Jay C Bugg / Libro In brossura
common.buy 20.49 €
Let Rome Fall WENDY ROMAN / Libro In brossura
common.buy 11.19 €
Reward for High Public Office Barbara Nunberg / Libro In brossura
common.buy 77.69 €
The Big Adios: Western Digest Jim Wilsky / Libro In brossura
common.buy 8.79 €
Ancient Egypt 500-Piece Puzzle Albert Racinet / Gioco/giocattolo Gioco
common.buy 22.29 €

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?