Carte Static Analysis Andreas Podelski

Static Analysis

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium,...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2018
Pagini
445
EAN
9783319997247
ISBN
3319997246
Enbook ID
19996247
Greutate
694
Dimensiuni
155 x 235 x 22

Descriere completă

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.

S-ar putea să te intereseze

Kokology 2

Tadahiko Nagao
77.46 lei
227.43 lei

Richard Michael Hampton

M. Richard Hales
69.46 lei

Anchor Out

Barbara Sapienza
73.51 lei

Bighorns Don't Honk

Stephen Lester
47.62 lei
61.47 lei
89.89 lei

Shapes of Light

IAN MCFARLANE
103.34 lei
518.07 lei
369.81 lei

Bounty of Love

Scotty Cade
70.98 lei
109.51 lei

Bullies and Me

Harriet May Savitz
45.50 lei
60.26 lei

Experiences

J.Michael Hinton
426.65 lei
53.49 lei

Clienții care au cumpărat această carte au mai cumpărat și

79.37 lei

Superfragilibus

Carmen Bramly
117.30 lei

BIBO

JEANNE GOURDON
77.25 lei