«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Static Analysis

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

Idioma InglésInglés
Libro Tapa blanda
Libro Static Analysis Patrick Cousot
Código Libristo: 01563611
Editores Springer, Berlin, noviembre 2000
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... Descripción completa
? points 138 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Školní diář 2025-2026 STUDENT Game Over / Calendario/Diario Diario
common.buy 3.59 €
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Libro Tapa blanda
common.buy 89.59 €
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Libro Tapa blanda
common.buy 111.79 €
Malá noční můra Ondřej Červinka / Libro Tapa blanda
common.buy 2.09 €
Económico
Золото в темной ночи (Потомки Первых #1) Лия Арден / Libro Tapa dura
common.buy 19.39 €
Louca - Tome 10 - L'histoire de Nathan Dequier Bruno / Libro Tapa dura
common.buy 16.69 €
Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom / Libro Tapa blanda
common.buy 67.79 €
Standortwettbewerb und Tourismus Harald Pechlaner / Libro Tapa blanda
common.buy 39.39 €
La extraña Sally Diamond LIZ NUGENT / Libro Tapa blanda
common.buy 20.19 €
Nouvelle Nomenclature Pharmaceutique, Avec Tableaux, Synonymie Ancienne Et Nouvelle CHEREAU-A / Libro Tapa blanda
common.buy 18.59 €
Yves Klein und seine Performance der Anthropometrien Peter Steuer / Libro Tapa blanda
common.buy 13.99 €
Handbuch Der Architektur, 2 Band Anonymous / Libro Tapa blanda
common.buy 23.39 €
Je Parle (Un Peu) Français Jesse Craignou / Libro Tapa blanda
common.buy 10.99 €
Que amaga el petit Edu LINNE BIE / Libro Tapa dura
common.buy 9.09 €
Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada / Audio CD de audio
common.buy 18.59 €
A Helyi Onkormanyzat: Es A Felette Gyakorolt Allami Felugyelet (1896) Jozsef Renyi / Libro Tapa blanda
common.buy 25.59 €
Quaestiones Plautinae. Terentianaeque Iosephus Koehm / Libro Tapa dura
common.buy 119.39 €
LA DROLE DE GUERRE Grenard / Libro Tapa blanda
common.buy 33.59 €
Le captif au masque de fer Jean d'Aillon / Libro Tapa blanda
common.buy 10.19 €
3E EDITIONS DU PRECIS DE BACTERIOLOGIE CLINIQUE JEAN FRENEY ET PHILIPPE RIEGEL / Libro Tapa dura
common.buy 268.19 €
La UNESCO y la construcción de la ética universal ORTEGA CARRILLO / Libro binding.
common.buy 36.99 €
El Born CC GARCIA ESPUCHE / Libro Libro
common.buy 16.39 €
TANTRA Y SEXO / Libro Tapa blanda
common.buy 23.79 €
Económico
mezzi di trasporto. Baby Montessori Agnese Baruzzi / Libro Libro de concertinas
common.buy 3.39 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Static Analysis
Autor Patrick Cousot
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2001
Número de páginas 439
EAN 9783540423140
ISBN 3540423141
Código Libristo 01563611
Editores Springer, Berlin
Peso 635
Dimensiones 155 x 235 x 23

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

An Enquiry Into the Obligations of Christians to Use Means for the Conversion of the Heathens William Carey / Libro Tapa blanda
common.buy 19.49 €
Reactive Application Development Duncan DeVore / Libro Tapa blanda
common.buy 58.51 €
Muscular Development by Kinetic Stress Method, Part 1 Billy Sandow / Libro Tapa blanda
common.buy 23.59 €
One Wild Night: An Enjoying the Chase Novella Kirsty Moseley / Libro Tapa blanda
common.buy 6.69 €
Loosely Collected: A Book of Poems Amanda L Webster / Libro Tapa blanda
common.buy 7.19 €
Getting MEAN with Mongo Simon Holmes / Libro Tapa blanda
common.buy 58.49 €
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Libro Tapa blanda
common.buy 7.19 €
Shrine of the Irish Oak NATHANIEL HUNT / Libro Tapa dura
common.buy 26.79 €
A Scattering and Anniversary: Poems Christopher Reid / Libro Tapa blanda
common.buy 13.09 €
Toledo State Hospital Brownlee / Libro Tapa blanda
common.buy 22.29 €
Old Father Time Peter D. Bull / Libro Tapa blanda
common.buy 21.49 €
The Adventure: A Romantic Variation On A Homeric Theme (1911) Henry Bryan Binns / Libro Tapa blanda
common.buy 21.59 €
RebeccaTacosaGray, CALIFORNIA: Place Location Report: FBI Missing Persons and Most Wanted Lists Rebecca * Tacosagray / Libro Tapa blanda
common.buy 9.59 €
Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini / Libro Tapa blanda
common.buy 11.49 €
Complete Guide to the Maltese Jordan Pogorzelski / Libro Tapa dura
common.buy 28.69 €
This Little Collection #2 (Boxed Set): This Little Artist; This Little Dreamer; This Little Environmentalist; This Little Rainbow Daniel Roode / Libro Libro de concertinas
common.buy 31.70 €
Trigger Warning Jay Wilburn / Libro Tapa blanda
common.buy 13.89 €
Exploring Strategy, Text & Cases Patrick Regner / Libro Tapa blanda
common.buy 114.59 €
Popular
The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT / Libro Tapa dura
common.buy 16.29 €
Credit Risk Management and Analysis Stuart Shelly / Libro Tapa blanda
common.buy 193.59 €
The Wood Between the Worlds: A Poetic Theology of the Cross Brian Zahnd / Libro Tapa dura
common.buy 20.99 €
The Book of Hallowe'en Ruth Edna Kelley / Libro Tapa blanda
common.buy 10.69 €
DK Italy DK Travel / Libro Tapa blanda
common.buy 18.39 €
Violet Squeakers The Mouse / Libro Tapa blanda
common.buy 13.70 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?