Kód: 05274620

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 05274620
Price: 1181.00 CZK
Availability: InStock
Author: Radhia Cousot
ISBN: 9783540617396

Autor Radhia Cousot, David A. Schmidt

Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 398
Nakladatelství: Springer, Berlin, 1996
Více informací o knize

1181 Kč

Skladem u dodavatele
Odesíláme za 5-8 dnů

Přidat mezi přání

Mohlo by se vám také líbit

How to Gut Health
401 Kč
Koupit
Great Sea
432 Kč
Koupit
What's the Weather?
403 Kč
Koupit
Return of Culture and Identity in IR Theory
652 Kč
Předobjednat
Bałwanek Świąteczne activity z wykrojnikiem
48 Kč
Koupit
Dragon Ball Z. Saiyanos 03
271 Kč
Koupit
Keine Angst vor Bakterien!
324 Kč
Koupit
First Aid for Horse and Rider
296 Kč
Koupit
Children's Literature Review
13481 Kč
Koupit
1949 Geneva Conventions
2647 Kč
Koupit
Clues to Dickens's, Mystery of Edwin Drood (1905)
524 Kč
Koupit
Neón
412 Kč
Koupit
productivity and profitability of intercropping in rabi cereal, legume, oilseeds, and spices under rice (Oryza sativa L.) based cropping system
975 Kč
Koupit
Design-Centered Entrepreneurship
1506 Kč
Koupit
Forrest Bess
1141 Kč
Koupit
Rapport Sur Le Prix Le Dissez de Penanrun: Lu Dans La Seance Du 18 Mai 1899
259 Kč
Koupit
Generalist Practice with Organizations and Communities, International Edition
2618 Kč
Koupit
Magnetic Stochasticity in Magnetically Confined Fusion Plasmas
3765 Kč
Koupit
Girls' Series Fiction and American Popular Culture
3356 Kč
Koupit
Une politique europeenne
368 Kč
Koupit
Soaring Skyward
624 Kč
Koupit
My First Coup d'Etat
361 Kč
Předobjednat
Ce Que Vous Faîtes Au Plus Petit. Témoignage D'Une
496 Kč
Koupit
Lettres Sur La Situation de la France Au Temps Actuel
322 Kč
Koupit
Observations on the Disturbances in the Madras Army in 1809
792 Kč
Koupit
Zur Dynamik von Ehescheidungen.
2050 Kč
Koupit
HACE FALTA MAS QUE UNA CARA BONITA PARA ENAMORARME Nº 02
311 Kč
Koupit
Remaking governance
918 Kč
Koupit
Multicultural Behavior and Global Business Environments
1663 Kč
Koupit
Hexenverfolgungen in Sudwestdeutschland im Kontext der Kleinen Eiszeit (1560-1630)
813 Kč
Koupit
Fun on the job: Amusing and true tales from Rosie-the-Riveters to Rocket Scientists at a Major Aerospace Company
328 Kč
Koupit
Analysis of the Effects of Low Energy Electron Radiation on A1xga1-Xn/Gan Modulation-Doped Field-Effect Transistors
393 Kč
Koupit
Fields of Praise
775 Kč
Koupit
The Handy Book of Bees
770 Kč
Koupit
coloring Book Marine Animals: Life Under The Sea, Amazing Ocean Animals To Color In & Draw, Activity Book For Young Boys & Girls
179 Kč
Koupit
Mother's Manual of Children's Diseases
307 Kč
Koupit
Overheard In A Graveyard
316 Kč
Koupit
English History: With Notices Of The Customs, Manners, Dress, Arts, Commerce Of The Different Periods
748 Kč
Koupit
Butchered Dreams
350 Kč
Koupit
World of Beetles (A Coloring Book)
248 Kč
Koupit
Lecon d'ecriture (la)
233 Kč
Koupit
TAX HAVENS
1398 Kč
Koupit
Hollywood Values
556 Kč
Koupit
Language, Print and Electoral Politics, 1790-1832
1928 Kč
Koupit
Time-Dependent Fracture
1181 Kč
Koupit
BEBE LEON, BEBE LEON, ¡TIENES QUE ENCONTRAR TU COLOR!
709 Kč
Koupit
Berenika i klątwa ciemności
141 Kč
Koupit
Discrete Probability Models and Methods
1842 Kč
Koupit
King's Sisters
445 Kč
Koupit

Darujte tuto knihu ještě dnes

Objednejte knihu a zvolte Zaslat jako dárek.
Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Nákupem získáte 118 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Systems analysis & design

1181 Kč

Plný název: Static Analysis
Podnázev: Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings
Autor: Radhia Cousot, David A. Schmidt
Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 398
EAN: 9783540617396
ISBN: 3540617396
ID: 05274620
Nakladatelství: Springer, Berlin
Hmotnost: 524 g
Rozměry: 234 × 156 × 21 mm
Rok vydání: 1996