[email protected] Risponderemo entro 24 ore

[email protected]

Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €

BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Tests and Proofs

Catherine Dubois

Burkhart Wolff

Lingua

Inglese

Libro In brossura

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

Codice Libristo: 19406924

172 b

72.67 €

Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Bývalý cizinec Valentin Popov

/ In brossura

5.88 €

Let Rome Fall WENDY ROMAN

/ In brossura

13.80 €

Reward for High Public Office

/ In brossura

85.62 €

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.

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

Consegna

Guida all'acquisto