Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Static Analysis Radhia Cousot

Static Analysis

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

Autor: Radhia Cousot, David A. Schmidt
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,...

Informace o knize

Autor
Radhia Cousot, David A. Schmidt
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1996
Stránek
398
EAN
9783540617396
ISBN
3540617396
Enbook ID
05274620
Vydavatel
Springer, Berlin
Hmotnost
524
Rozměry
156 x 234 x 21

Kompletní popis

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.

Mohlo by vás zajímat

TAX HAVENS

Kacou Antoine N'zi
1 356 Kč

Multicultural Behavior and Global Business Environments

Kamal Dean Parhizgar
1 531 Kč

What's the Weather?

Shelley Rotner
340 Kč

Butchered Dreams

Hadena James
330 Kč

Fields of Praise

Marilyn Nelson
733 Kč

Observations on the Disturbances in the Madras Army in 1809

Malcolm
749 Kč

Thoughts and Commentary

Dale L Netherton
733 Kč

Great Sea

David Abulafia
404 Kč

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

Manish Kumar Singh
946 Kč

Language, Print and Electoral Politics, 1790-1832

Hannah Barker
1 862 Kč

Children's Literature Review

Tom Burns
13 077 Kč

Remaking governance

Janet Newman
956 Kč

Time-Dependent Fracture

A.S. Krausz
1 147 Kč

Generalist Practice with Organizations and Communities, International Edition

Grafton H Hull
2 539 Kč

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

Une politique europeenne

Etienne Grosclaude
357 Kč

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

Sans Auteur
284 Kč

Dragon Ball Z. Saiyanos 03

Daruma Serveis Lingüístics
351 Kč

Keine Angst vor Bakterien!

Max O. Bruker
315 Kč