Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Static Analysis

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

Língua InglêsInglês
Livro Capa mole
Livro Static Analysis Patrick Cousot
Código Libristo: 01563611
Editoras Springer, Berlin, novembro 2000
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... Descrição completa
? points 132 b
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Školní diář 2025-2026 STUDENT Game Over / Calendário/Diário Diário
common.buy 3.23 €
Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom / Livro Capa mole
common.buy 65.05 €
Eden sommerso. Viaggio nella scienza delle alghe: alimentazione, longevità e sostenibilità Francesco Cinelli / Livro Capa mole
common.buy 21.37 €
Standortwettbewerb und Tourismus Harald Pechlaner / Livro Capa mole
common.buy 35.46 €
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Livro Capa mole
common.buy 85.12 €
Золото в темной ночи (Потомки Первых #1) Лия Арден / Livro Livro de capa dura
common.buy 23.20 €
Malá noční můra Ondřej Červinka / Livro Capa mole
common.buy 1.10 €
Louca - Tome 10 - L'histoire de Nathan Dequier Bruno / Livro Livro de capa dura
common.buy 16.91 €
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Livro Capa mole
common.buy 106.20 €
Quaestiones Plautinae. Terentianaeque Iosephus Koehm / Livro Livro de capa dura
common.buy 115.22 €
Económico
mezzi di trasporto. Baby Montessori Agnese Baruzzi / Livro Livro concertina
common.buy 6.37 €
TANTRA Y SEXO / Livro Capa mole
common.buy 22.59 €
El Born CC GARCIA ESPUCHE / Livro Livro
common.buy 14.99 €
Nouvelle Nomenclature Pharmaceutique, Avec Tableaux, Synonymie Ancienne Et Nouvelle CHEREAU-A / Livro Capa mole
common.buy 17.42 €
A Helyi Onkormanyzat: Es A Felette Gyakorolt Allami Felugyelet (1896) Jozsef Renyi / Livro Capa mole
common.buy 22.89 €
Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada / Áudio CD de áudio
common.buy 17.73 €
Que amaga el petit Edu LINNE BIE / Livro Livro de capa dura
common.buy 8.20 €
Handbuch Der Architektur, 2 Band Anonymous / Livro Capa mole
common.buy 20.97 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Static Analysis
Autor Patrick Cousot
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2001
Número de páginas 439
EAN 9783540423140
ISBN 3540423141
Código Libristo 01563611
Editoras Springer, Berlin
Peso 635
Dimensões 155 x 235 x 23

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini / Livro Capa mole
common.buy 10.63 €
Reactive Application Development Duncan DeVore / Livro Capa mole
common.buy 51.88 €
Getting MEAN with Mongo Simon Holmes / Livro Capa mole
common.buy 56.84 €
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Livro Capa mole
common.buy 6.37 €
Shrine of the Irish Oak NATHANIEL HUNT / Livro Livro de capa dura
common.buy 25.22 €
A Scattering and Anniversary: Poems Christopher Reid / Livro Capa mole
common.buy 11.34 €
Old Father Time Peter D. Bull / Livro Capa mole
common.buy 19.35 €
An Enquiry Into the Obligations of Christians to Use Means for the Conversion of the Heathens William Carey / Livro Capa mole
common.buy 17.52 €
Toledo State Hospital Brownlee / Livro Capa mole
common.buy 20.87 €
Complete Guide to the Maltese Jordan Pogorzelski / Livro Livro de capa dura
common.buy 26.95 €
This Little Collection #2 (Boxed Set): This Little Artist; This Little Dreamer; This Little Environmentalist; This Little Rainbow Daniel Roode / Livro Livro concertina
common.buy 27.35 €
Principal
The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT / Livro Livro de capa dura
common.buy 14.48 €
Credit Risk Management and Analysis Stuart Shelly / Livro Capa mole
common.buy 184.44 €
The Wood Between the Worlds: A Poetic Theology of the Cross Brian Zahnd / Livro Livro de capa dura
common.buy 19.45 €
The Book of Hallowe'en Ruth Edna Kelley / Livro Capa mole
common.buy 9.92 €
Violet Squeakers The Mouse / Livro Capa mole
common.buy 11.85 €
FUTURES TRADER PRO COMPREHENSIVE GUIDE TO S&P 500 E-MINI FUTURES JAMES RICHARDS / Livro Livro de capa dura
common.buy 70.73 €
FRAILTY OF FLESH THE Sandra Ruttan / Livro Capa mole
common.buy 13.16 €
Marvelous Land of Oz Frank L. Baum / Livro Capa mole
common.buy 13.67 €
Advances in Gabor Analysis Hans G. Feichtinger / Livro Livro de capa dura
common.buy 114.71 €
Race and Social Analysis Caroline Knowles / Livro Livro de capa dura
common.buy 153.02 €
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Livro Livro de capa dura
common.buy 344.16 €
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Livro Livro de capa dura
common.buy 33.84 €
Perfect (Teacher) Coach Terri Broughton / Livro Livro de capa dura
common.buy 16.31 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?