Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Static Analysis

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

Langue AnglaisAnglais
Livre numérique Adobe ePub DRM
Livre numérique Static Analysis David Pichardie
Code Libristo: 41010491
Éditeurs Springer, janvier 2021
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysi... Description détaillée
? points 195 b
80.86 €
En stock Immédiatement téléchargeable

Les clients ont également acheté

Zákon o inspekci práce Jaroslav Stádník / Livre Livre relié
common.buy 36.27 €
Kulturgeschichte des Marktes Hans Jörg Schmidt / Livre Livre de poche
common.buy 15.19 €
Methodische Grammatik der griechischen Sprache Rudolf Georg Hermann Westphal / Livre Livre de poche
common.buy 23.30 €
CINQ CHANSONS POUR PERCUSSION PERCUSSIONS CLAUDE VIVIER Livre binding.
common.buy 42.15 €
DSA 149: Aldarin Stefan Unterhuber / Livre numérique Adobe ePub DRM
common.buy 8.81 €
Funko POP Animation: Demon Slayer - Zenitsu Agatsuma #2192 Jeu/jouet Jouet
common.buy 21.68 €
The Hobbit Bust Smaug the Golden 36 cm Articles de papeterie Articles de papeterie
common.buy 779.95 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Static Analysis
Auteur David Pichardie, Mihaela Sighireanu
Langue Anglais
Reliure Livre numérique - Adobe ePub DRM
Date de parution 2021
EAN 9783030654740
Code Libristo 41010491
Éditeurs Springer

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Economy, Finance and Business in Southeastern and Central Europe Anastasios Karasavvoglou / Livre numérique Adobe ePub DRM
common.buy 174.51 €
I'm Here For The Food My Sister Plays Softball: 120 Pages I 6x9 I Dot Grid I Funny Softball Sport Competition Gifts Funny Notebooks / Livre Livre de poche
common.buy 8.60 €
Meditating on the Word Dietrich Bonhoeffer / Livre numérique Adobe ePub DRM
common.buy 17.73 €
Mammoth Book of The Lost Chronicles of Sherlock Holmes Denis O. Smith / Livre numérique Adobe ePub DRM
common.buy 4.35 €
Natural Reason and Natural Law James Carey / Livre numérique Adobe ePub DRM
common.buy 55.02 €
Varieties of Spiritual Experience David B. Yaden / Livre numérique Adobe ePub DRM
common.buy 20.77 €
Government Purchasing and Competition Dickson Reck / Livre numérique Adobe ePub DRM
common.buy 28.27 €
Nouveauté
Extreme Britain Elizabeth Pearson / Livre Livre de poche
common.buy 21.78 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo