Könyv Static Analysis Baudouin Lecharlier

Static Analysis

First International Static Analysis Symposium, Namur, Belgium, September 28-30, 1994. Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 201 Ft
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94),...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1994
oldal
471
EAN
9783540584858
ISBN
3540584854
Enbook ID
05274432
Súly
638
Méretek
155 x 233 x 24

Teljes leírás

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address staticanalysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.

Érdekelheti

42 107 Ft

Stir of Echo

Susan Gabriel
7 139 Ft

Academies of Art

Nikolaus Pevsner
23 062 Ft

Rhythm of Hope

Woneeya Thundering Hawk
11 977 Ft

Bad Drawer

Jessixa Bagley
5 502 Ft
5 159 Ft

Northanger Abbey

Jane Austen
3 322 Ft

Maine Road Voices

Andrew Waldon
5 092 Ft
3 986 Ft

Tropical Vegetable Production

Raymond A. T. George
44 639 Ft
45 009 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Soluk Fotograflar

Siddika Kan Pehlivanoglu
4 513 Ft
4 722 Ft