Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Static Analysis Patrick Cousot

Static Analysis

8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings

Lingua

Inglese

Libro In brossura

Libro Static Analysis Patrick Cousot

Codice Libristo: 01563611

Casa editrice Springer, Berlin, novembre 2000

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... Descrizione completa

Codice Libristo: 01563611

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

El Born CC GARCIA ESPUCHE

/

Libro

16.29 €

Malá noční můra Ondřej Červinka

/

In brossura

1.09 €

Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom

/

In brossura

64.19 €

Золото в темной ночи (Потомки Первых #1) Лия Арден

/

Rigido

23.69 €

Louca - Tome 10 - L'histoire de Nathan Dequier Bruno

/

Rigido

18.29 €

Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl

/

In brossura

77.29 €

mezzi di trasporto. Baby Montessori Agnese Baruzzi

/

Leporello

5.09 €

Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli

/

In brossura

99.09 €

Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada

/

CD audio

18.49 €

Standortwettbewerb und Tourismus Harald Pechlaner

/

In brossura

36.79 €

Handbuch Der Architektur, 2 Band Anonymous

/

In brossura

22.79 €

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Static Analysis

Autore Patrick Cousot

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2001

Numero di pagine 439

EAN 9783540423140

ISBN 3540423141

Codice Libristo 01563611

Casa editrice Springer, Berlin

Peso 635

Dimensioni 155 x 235 x 23

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Reactive Application Development Duncan DeVore

/

In brossura

55.49 €

Violet Squeakers The Mouse

/

In brossura

12.99 €

The Book of Hallowe'en Ruth Edna Kelley

/

In brossura

10.39 €

Credit Risk Management and Analysis Stuart Shelly

/

In brossura

190.59 €

The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT

/

Rigido

14.99 €

This Little Collection #2 (Boxed Set): This Little Artist; This Little Dreamer; This Little Environmentalist; This Little Rainbow Daniel Roode

/

Leporello

29.69 €

Complete Guide to the Maltese Jordan Pogorzelski

/

Rigido

27.89 €

Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini

/

In brossura

11.19 €

Toledo State Hospital Brownlee

/

In brossura

20.59 €

Shrine of the Irish Oak NATHANIEL HUNT

/

Rigido

26.09 €

Special Valentine Delivery: Blake and Amber's Marylynn Bast

/

In brossura

6.99 €

Getting MEAN with Mongo Simon Holmes

/

In brossura

55.49 €

Mary, Jimi & The Wormhole Mike Dunn

/

In brossura

23.89 €

My Friends and I. (Three Tales.) Edited by Julian Sturgis. Julian Russell Sturgis

/

In brossura

22.59 €

Perfect (Teacher) Coach Terri Broughton

/

Rigido

16.09 €

Race and Social Analysis Caroline Knowles

/

Rigido

159.49 €

Marvelous Land of Oz Frank L. Baum

/

In brossura

14.19 €

Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas

/

Rigido

33.39 €

Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF)

/

Rigido

355.79 €

White Cliffs Bettine Manktelow

/

In brossura

18.09 €

Advances in Gabor Analysis Hans G. Feichtinger

/

Rigido

107.29 €