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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Static Analysis

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Static Analysis Radhia Cousot
Libristo kod: 01656632
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2010
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi... Cijeli opis
? points 142 b
58.62 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Neuronale Netze Heinrich Braun / Knjiga Meki uvez
common.buy 51.94 €
Entdecke das Mittelalter Albrecht Classen / Knjiga Tvrdi uvez
common.buy 14.27 €
Civilisation planétaire Daniel Robin / Knjiga Meki uvez
common.buy 18.52 €
DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Knjiga Meki uvez
common.buy 20.85 €
Prise de bec Janer / Knjiga Tvrdi uvez
common.buy 16.39 €
Subjektivierung 2.0 Tanja Carstensen / Knjiga Meki uvez
common.buy 43.53 €
BAÑOS DE BOSQUE. 50 RUTAS PARA SENTIR LA NATURALEZA ALEX GESSE / Knjiga Meki uvez
common.buy 24.80 €
Pripremamo
Mein Taschencoach Susanne Marx / Knjiga Meki uvez
common.buy 7.28 €
Goethe ALS Geschichtsphilosoph Und Die Geschichtsphilosophische Bewegung Seiner Zeit Emil Menke-Glückert / Knjiga Meki uvez
common.buy 22.37 €
Flex und Flo - Ausgabe 2014. Themenheft.2 Judith Beerbaum / Knjiga List
common.buy 11.03 €
Mobile Device Management Strategien Jan Hommes / Knjiga Meki uvez
common.buy 35.74 €
AMERICA DAVID MCCULLOUGH / Knjiga Tvrdi uvez
common.buy 20.55 €
Top
Izraelská lobby a americká zahraniční politika John J. Mearsheimer / Knjiga Meki uvez
common.buy 10.12 €
Terapia logopedyczna Edyta Joanna Lichota / Knjiga Meki uvez
common.buy 11.94 €
Hizir Dokunsun Dualarina Mustafa Kaya / Knjiga Meki uvez
common.buy 13.15 €
Reponse d'Un Electeur A Un Ancien Constituant Gaulier-A / Knjiga Meki uvez
common.buy 13.66 €

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis).§The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

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 Radhia Cousot, Matthieu Martel
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 473
EAN 9783642157684
ISBN 3642157688
Libristo kod 01656632
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 727
Dimenzije 157 x 235 x 28

Kategorija

Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Operating systems
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

Business Process Management Wil M.P. van der Aalst / Knjiga Meki uvez
common.buy 51.73 €
COMMON SCHOOL ENGLISH: A GRADED SERIES O JAMES G. KENNEDY / Knjiga Tvrdi uvez
common.buy 30.77 €
Integral Approach to Development Economics OSHODI / Knjiga Meki uvez
common.buy 77.05 €
Lorenzo Lotto: An Essay In Constructive Art Criticism Bernhard Berenson / Knjiga Meki uvez
common.buy 41.10 €
The Poems of Jonathan Swift Voulme II Jonathan Swift / Knjiga Meki uvez
common.buy 22.88 €
What's my name? ELAINA Tiina Walsh / Knjiga Meki uvez
common.buy 14.88 €
Cryptids GUY BLYTHMAN / Knjiga Meki uvez
common.buy 18.42 €
Hodge Podge Lodge Priscilla Lamont / Knjiga Meki uvez
common.buy 7.69 €
Everybody Wants to Rune the World: A Happily Everlasting World Novel Mandy M. Roth / Knjiga Meki uvez
common.buy 16.90 €
Wrong McElroy KL HUGHES / Knjiga Meki uvez
common.buy 16.29 €
Humane and Sustainable Smart Cities Takao Takahashi / Knjiga Meki uvez
common.buy 116.74 €
Ghost Stories of an Antiquary M. R. James / Knjiga Meki uvez
common.buy 6.77 €
AFM-Based Observation and Robotic Nano-manipulation Lianqing Liu / Knjiga Meki uvez
common.buy 103.07 €
All about EndNote 20 Bengt Edhlund / Knjiga Meki uvez
common.buy 44.04 €
Advancing Software Engineering Through AI, Federated Learning, and Large Language Models Amarjeet Prajapati / Knjiga Tvrdi uvez
common.buy 389.24 €
Minimum Wages, Pay Equity, and Comparative Industrial Relations Damian Grimshaw / Knjiga Tvrdi uvez
common.buy 245.65 €
Naukratis I and II, Hawara, Biahmu, and Arsinoe William Matthew Flinders PetrieErnest A. Gardner / Knjiga Meki uvez
common.buy 56.49 €
Fishes, Fishers and Waves of Change in Nggela, Solomon Islands Reuben John Sulu / Knjiga Meki uvez
common.buy 75.83 €
Kingdom of God as Liturgical Empire - A Theological Commentary on 1-2 Chronicles Scott W. Hahn / Knjiga Meki uvez
common.buy 30.17 €
Report of the Comptroller, Volume 2 New York (N y. ). Comptroller's Office / Knjiga Tvrdi uvez
common.buy 43.94 €
Race Without A Finish Line: America's Quest fo For Total Qualtiy W.H. Schmidt / Knjiga Tvrdi uvez
common.buy 44.04 €
Woggle-Bug Book Lyman Fr. Baum / Knjiga Meki uvez
common.buy 8.19 €
Katyn and the Soviet Massacre of 1940 George Sanford / Knjiga Tvrdi uvez
common.buy 209.30 €
Camileon Shykia Bell / Knjiga Tvrdi uvez
common.buy 20.95 €

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?