Kniha Static Analysis Andreas Podelski

Static Analysis

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium,...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2018
Stránek
445
EAN
9783319997247
ISBN
3319997246
Enbook ID
19996247
Hmotnost
694
Rozměry
155 x 235 x 22

Kompletní popis

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.

Mohlo by vás zajímat

Kokology 2

Tadahiko Nagao
315
944

Richard Michael Hampton

M. Richard Hales
282

Anchor Out

Barbara Sapienza
299

Bighorns Don't Honk

Stephen Lester
199
233
388

Shapes of Light

IAN MCFARLANE
433
2 200
1 703

Bounty of Love

Scotty Cade
291
461

Bullies and Me

Harriet May Savitz
185
249

Experiences

J.Michael Hinton
1 795
217

Zákaznicí kteří koupili tuto knihu koupili také

Superfragilibus

Carmen Bramly
540

BIBO

JEANNE GOURDON
356