Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Tests and Proofs

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

Catherine Dubois

Burkhart Wolff

Limba

engleză

Carte Carte broșată

Codul Libristo: 19406924

Editura Springer International Publishing AG, iunie 2018

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro... Descrierea completă

Codul Libristo: 19406924

132 b

284.91 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Bývalý cizinec Valentin Popov

Carte broșată

28.35 lei

Analisis de la realidad socioeconomica en Chile Benjamín Israel Navon

Carte broșată

118.92 lei

La Chute d'Albert Camus Nathalie Ginestier

Carte broșată

144.06 lei

280 huiles essentielles (Poche) Michel Dogna

Carte broșată

71.14 lei

Ffordd Beryglus, Y T. Llew Jones

Adobe ePub DRM

37.80 lei

Ombres chinoises Petit Guide

Adobe ePub DRM

17.96 lei

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.