Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Static Analysis

27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Static Analysis David Pichardie
Libristo code: 41010491
Publishers Springer, January 2021
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysi... Full description
? points 194 b
80.01 €
In stock Immediate digital delivery

Customers also purchased

Methodische Grammatik der griechischen Sprache Rudolf Georg Hermann Westphal / Book Paperback
common.buy 23.26 €
DSA 149: Aldarin Stefan Unterhuber / E-book Adobe ePub DRM
common.buy 8.79 €
Funko POP Animation: Demon Slayer - Zenitsu Agatsuma #2192 Game/Toy Toy
common.buy 21.64 €
Coming soon
The Hobbit Bust Smaug the Golden 36 cm Stationery items Stationery items
common.buy 778.50 €

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions.The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking.  Due to the Corona pandemic this event was held virtually.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Static Analysis
Author David Pichardie, Mihaela Sighireanu
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2021
EAN 9783030654740
Libristo code 41010491
Publishers Springer

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Economy, Finance and Business in Southeastern and Central Europe Anastasios Karasavvoglou / E-book Adobe ePub DRM
common.buy 172.87 €
Meditating on the Word Dietrich Bonhoeffer / E-book Adobe ePub DRM
common.buy 17.59 €
Natural Reason and Natural Law James Carey / E-book Adobe ePub DRM
common.buy 54.51 €
Varieties of Spiritual Experience David B. Yaden / E-book Adobe ePub DRM
common.buy 19.41 €
Government Purchasing and Competition Dickson Reck / E-book Adobe ePub DRM
common.buy 28.01 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?