Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Software Verification Peter Schrammel

Software Verification

Autor: Peter Schrammel, Parasara Sridhar Duggirala, Nadia Polikarpova
Język: Angielski
Oprawa: Miękka
Wydawca: Springer Nature Switzerland AG
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
241.15 zł
This book constitutes the refereed proceedings of the 12th International Conference on Verified Soft...

Informacje o książce

Autor
Peter Schrammel, Parasara Sridhar Duggirala, Nadia Polikarpova
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2020
strony
239
EAN
9783030636173
ISBN
3030636178
Enbook ID
33471540
Wydawca
Springer Nature Switzerland AG
Waga
454
Wymiary
155 x 235 x 15

Pełny opis

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale 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. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

Możesz być zainteresowany

Trouble With Tomatoes

Daniel Levine Hedlund
65.17 zł