Menu
Виж статуса на поръчката
Свържете се с нас
Книга Static Analysis Radhia Cousot

Static Analysis

Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings

Автор: Radhia Cousot, David A. Schmidt
Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад
Изпращаме след 5-8 дни
52.83 € 103.32 лв
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,...

Информация за книгата

Автор
Radhia Cousot, David A. Schmidt
Език
Английски език
Корици
Книга - С меки корици
Издадена
1996
страници
398
EAN
9783540617396
ISBN
3540617396
Enbook ID
05274620
Издател
Springer, Berlin
Теглоt
524
Размери
156 x 234 x 21

Пълно описание

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

Може също да ви хареса

TAX HAVENS

Kacou Antoine N'zi
63.07 € 123.36 лв

Multicultural Behavior and Global Business Environments

Kamal Dean Parhizgar
70.00 € 136.92 лв

What's the Weather?

Shelley Rotner
15.97 € 31.23 лв

Butchered Dreams

Hadena James
14.41 € 28.18 лв

Fields of Praise

Marilyn Nelson
31.74 € 62.07 лв

Observations on the Disturbances in the Madras Army in 1809

Malcolm
32.59 € 63.74 лв

Thoughts and Commentary

Dale L Netherton
31.74 € 62.07 лв

Great Sea

David Abulafia
19.28 € 37.71 лв

productivity and profitability of intercropping in rabi cereal, legume, oilseeds, and spices under rice (Oryza sativa L.) based cropping system

Manish Kumar Singh
43.99 € 86.04 лв

Language, Print and Electoral Politics, 1790-1832

Hannah Barker
80.90 € 158.23 лв

Children's Literature Review

Tom Burns
592.41 € 1 158.65 лв

Remaking governance

Janet Newman
41.83 € 81.81 лв

Time-Dependent Fracture

A.S. Krausz
52.83 € 103.32 лв

Generalist Practice with Organizations and Communities, International Edition

Grafton H Hull
115.00 € 224.93 лв

Клиенти, които купиха тази книга, купиха също

Une politique europeenne

Etienne Grosclaude
16.62 € 32.50 лв

Rapport Sur Le Prix Le Dissez de Penanrun: Lu Dans La Seance Du 18 Mai 1899

Sans Auteur
12.35 € 24.15 лв

Dragon Ball Z. Saiyanos 03

Daruma Serveis Lingüístics
15.16 € 29.65 лв

Keine Angst vor Bakterien!

Max O. Bruker
14.76 € 28.87 лв