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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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
28 193 Ft
In stock Immediate digital delivery

Customers also purchased

Methodische Grammatik der griechischen Sprache Rudolf Georg Hermann Westphal / Book Paperback
common.buy 8 951 Ft
DSA 149: Aldarin Stefan Unterhuber / E-book Adobe ePub DRM
common.buy 3 098 Ft
Funko POP Animation: Demon Slayer - Zenitsu Agatsuma #2192 Game/Toy Toy
common.buy 7 611 Ft

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 60 857 Ft
Meditating on the Word Dietrich Bonhoeffer / E-book Adobe ePub DRM
common.buy 6 201 Ft
Natural Reason and Natural Law James Carey / E-book Adobe ePub DRM
common.buy 19 201 Ft
Varieties of Spiritual Experience David B. Yaden / E-book Adobe ePub DRM
common.buy 6 839 Ft
Government Purchasing and Competition Dickson Reck / E-book Adobe ePub DRM
common.buy 9 855 Ft

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?