Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2019 ed.

Book Details

Format Paperback / Softback

Book Series Lecture Notes in Computer Science

ISBN-10 303032303X

ISBN-13 9783030323035

Edition 2019 ed.

Publisher Springer Nature Switzerland AG

Imprint Springer Nature Switzerland AG

Country of Manufacture GB

Country of Publication GB

Publication Date Oct 6th, 2019

Print length 481 Pages

Product Classification: Compilers Software Engineering Mathematical theory of computation

AI Summary

Ksh 8,100.00

Werezi Extended Catalogue 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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;

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.

Get Static Analysis by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.