Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Static Analysis

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Static Analysis Patrick Cousot
Libristo kod: 01563611
Nakladnici Springer, Berlin, studeni 2000
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... Cijeli opis
? points 125 b
51.73 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Školní diář 2025-2026 STUDENT Game Over / Kalendar/Rokovnik Rokovnik
common.buy 3.23 €
Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom / Knjiga Meki uvez
common.buy 61.46 €
Eden sommerso. Viaggio nella scienza delle alghe: alimentazione, longevità e sostenibilità Francesco Cinelli / Knjiga Meki uvez
common.buy 21.36 €
Standortwettbewerb und Tourismus Harald Pechlaner / Knjiga Meki uvez
common.buy 33.61 €
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Knjiga Meki uvez
common.buy 80.90 €
Золото в темной ночи (Потомки Первых #1) Лия Арден / Knjiga Tvrdi uvez
common.buy 23.18 €
Malá noční můra Ondřej Červinka / Knjiga Meki uvez
common.buy 1.00 €
Louca - Tome 10 - L'histoire de Nathan Dequier Bruno / Knjiga Tvrdi uvez
common.buy 16.90 €
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Knjiga Meki uvez
common.buy 100.85 €
Quaestiones Plautinae. Terentianaeque Iosephus Koehm / Knjiga Tvrdi uvez
common.buy 109.35 €
Povoljno
mezzi di trasporto. Baby Montessori Agnese Baruzzi / Knjiga Leporelo
common.buy 6.37 €
TANTRA Y SEXO / Knjiga Meki uvez
common.buy 22.57 €
El Born CC GARCIA ESPUCHE / Knjiga Knjiga
common.buy 14.98 €
Nouvelle Nomenclature Pharmaceutique, Avec Tableaux, Synonymie Ancienne Et Nouvelle CHEREAU-A / Knjiga Meki uvez
common.buy 17.41 €
A Helyi Onkormanyzat: Es A Felette Gyakorolt Allami Felugyelet (1896) Jozsef Renyi / Knjiga Meki uvez
common.buy 24.09 €
Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada / Audio Audio CD
common.buy 16.80 €
Que amaga el petit Edu LINNE BIE / Knjiga Tvrdi uvez
common.buy 8.19 €
Handbuch Der Architektur, 2 Band Anonymous / Knjiga Meki uvez
common.buy 22.06 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Static Analysis
Autor Patrick Cousot
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2001
Broj stranica 439
EAN 9783540423140
ISBN 3540423141
Libristo kod 01563611
Nakladnici Springer, Berlin
Težina 635
Dimenzije 155 x 235 x 23

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini / Knjiga Meki uvez
common.buy 10.62 €
Reactive Application Development Duncan DeVore / Knjiga Meki uvez
common.buy 54.27 €
Getting MEAN with Mongo Simon Holmes / Knjiga Meki uvez
common.buy 54.27 €
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Knjiga Meki uvez
common.buy 6.77 €
Shrine of the Irish Oak NATHANIEL HUNT / Knjiga Tvrdi uvez
common.buy 25.20 €
A Scattering and Anniversary: Poems Christopher Reid / Knjiga Meki uvez
common.buy 12.14 €
Old Father Time Peter D. Bull / Knjiga Meki uvez
common.buy 19.33 €
An Enquiry Into the Obligations of Christians to Use Means for the Conversion of the Heathens William Carey / Knjiga Meki uvez
common.buy 18.42 €
Toledo State Hospital Brownlee / Knjiga Meki uvez
common.buy 19.53 €
Complete Guide to the Maltese Jordan Pogorzelski / Knjiga Tvrdi uvez
common.buy 26.93 €
This Little Collection #2 (Boxed Set): This Little Artist; This Little Dreamer; This Little Environmentalist; This Little Rainbow Daniel Roode / Knjiga Leporelo
common.buy 28.95 €
Top
The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT / Knjiga Tvrdi uvez
common.buy 14.47 €
Credit Risk Management and Analysis Stuart Shelly / Knjiga Meki uvez
common.buy 175.48 €
The Wood Between the Worlds: A Poetic Theology of the Cross Brian Zahnd / Knjiga Tvrdi uvez
common.buy 19.43 €
The Book of Hallowe'en Ruth Edna Kelley / Knjiga Meki uvez
common.buy 9.91 €
Violet Squeakers The Mouse / Knjiga Meki uvez
common.buy 12.55 €
FUTURES TRADER PRO COMPREHENSIVE GUIDE TO S&P 500 E-MINI FUTURES JAMES RICHARDS / Knjiga Tvrdi uvez
common.buy 67.33 €
FRAILTY OF FLESH THE Sandra Ruttan / Knjiga Meki uvez
common.buy 13.96 €
Marvelous Land of Oz Frank L. Baum / Knjiga Meki uvez
common.buy 13.66 €
Advances in Gabor Analysis Hans G. Feichtinger / Knjiga Tvrdi uvez
common.buy 109.45 €
Race and Social Analysis Caroline Knowles / Knjiga Tvrdi uvez
common.buy 144.39 €
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Knjiga Tvrdi uvez
common.buy 327.47 €
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Knjiga Tvrdi uvez
common.buy 31.68 €
Perfect (Teacher) Coach Terri Broughton / Knjiga Tvrdi uvez
common.buy 15.28 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?