Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Static Analysis

Name: Static Analysis
Brand: Springer
SKU: 49902163
Price: 78.59 EUR
Availability: InStock
Author: Hakjoo Oh
ISBN: 9783032071064

32nd International Symposium, SAS 2025, Singapore, Singapore, October 13-14, 2025, Proceedings

Hakjoo Oh

Yulei Sui

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Založba Springer, oktober 2025

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium,... Celoten opis

Koda Libristo: 49902163

190 b

78.59 €

Na zalogi Prenesi zdaj

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025. The 15 papers included here were carefully reviewed and selected from 32 submissions. The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM.