Książka Static Analysis Xavier Rival

Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Autor: Xavier Rival
Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
214.72
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium,...

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2016
strony
511
EAN
9783662534120
ISBN
3662534126
Enbook ID
13788792
Waga
795
Wymiary
155 x 235 x 30

Pełny opis

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.

Możesz być zainteresowany

75.37
397.95

Fruit of Knowledge

Liv Strömquist
58.74

Ritz London

John Williams
154.20

Stolen Tongues

Felix Blackwell
61.69

The Akashic Tarot

Sharon A. Klingler
87.77

Cheat Sheet of Italian Style

Francesca Belluomini
65.63
51.36

Land Of The Lustrous 1

Haruko Ichikawa
44.27

Rose and the Dagger

Renée Ahdiehová
49.29
88.26
84.52
27.64
80.59

Night Watchman

Louise Erdrich
49.29

Quit Like a Woman

WHITAKER HOLLY GLENN
50.97

Klienci, którzy kupili tę książkę, kupili również

O princi Čekankovi

Patrik Ourednik
29.71

Noc w bibliotece

Christie Agatha
36.11
28.63
149.47

Salvia Divinorum

Jochen Gartz
53.92

Slovenské rozprávky 1

Pavol Dobšinský
57.36

Świat Chrystusa Tom 1

Roszkowski Wojciech
67.70