Static Analysis

Name: Static Analysis
Brand: Springer Nature Switzerland AG
SKU: 9783030323035
Price: 214.72 PLN
Availability: InStock

26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Autor: Bor-Yuh Evan Chang

Język:

Oprawa: Miękka

Wydawca: Springer Nature Switzerland AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.72 zł

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysi...

Informacje o książce

Autor

Bor-Yuh Evan Chang

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2019

strony

481

EAN

9783030323035

Enbook ID

24865025

Wydawca

Springer Nature Switzerland AG

Waga

753

Wymiary

155 x 235 x 27

Pełny opis

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Static Analysis

26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również