Static Analysis

Name: Static Analysis
Brand: Springer Nature Switzerland AG
SKU: 9783030323035
Price: 19344 HUF
Availability: InStock

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

Szerző: Bor-Yuh Evan Chang

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer Nature Switzerland AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 344 Ft

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

Információk a könyvről

Szerző

Bor-Yuh Evan Chang

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2019

oldal

481

EAN

9783030323035

Enbook ID

24865025

Kiadó

Springer Nature Switzerland AG

Súly

753

Méretek

155 x 235 x 27

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Static Analysis

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták