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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Verified Software. Theories, Tools and Experiments.

Name: Verified Software. Theories, Tools and Experiments.
Brand: Springer Nature B.V.
SKU: 43417911
Price: 297.4 RON
Availability: InStock
Author: Akash Lal
ISBN: 9783031258046

14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal

Stefano Tonetta

Limba

engleză

Carte Carte broșată

Codul Libristo: 43417911

Editura Springer Nature B.V., februarie 2023

This book constitutes the refereed proceedings of the 14th International Conference on Verified Soft... Descrierea completă

Codul Libristo: 43417911

138 b

297.40 lei

În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Ar putea de asemenea, să te intereseze

Radio Telescopes D. V. Skobel tsyn

Carte broșată

284.23 lei

How Writing Works Dominic Wyse

Carte broșată

208.48 lei

Transdisciplinary Thinking and Acting Mathias Schüz

Copertă tare

962.46 lei

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022.

The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.