Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
SPS 3.99 € Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto DPD 2.99 € Zberné miesto GLS 2.49 € SPS Parcel Shop 2.99 € Packeta 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Static Analysis Antoine Mine
Libristo kód: 01662058
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2012
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Sta... Celý popis
? points 125 b
51.34 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Études phytochimiques et FT-IR chez Axonopus compressus (Poaceae) Lakshmi Pillai / Kniha Brožovaná
common.buy 38.98 €
Powieści Marguerite Duras Stekolshchikova Irina Stekolshchikova / Kniha Brožovaná
common.buy 46.44 €
La segunda nakba palestina Safa / Kniha Brožovaná
common.buy 25.01 €
Diego Rivera TIBOL / Kniha Pevná
common.buy 50.84 €
Österreichisches Wohnrecht. Kommentar Till Hausmann / Kniha List
common.buy 186.88 €
Luc Van Tien CA Dien (Ed.1883) Dinh Chieu Nguyen / Kniha Brožovaná
common.buy 28.13 €
Lettres Historiques Sur Tous Les Spectacles de Paris, (Ed.1719) Nicolas Boindin / Kniha Brožovaná
common.buy 24.21 €
ANNALES BAC 2011 SC ECO ES OBL Cécile Bouquillion / Kniha Brožovaná
common.buy 8.83 €
scambio John Grisham / Kniha Pevná
common.buy 24.91 €
Alfa Romeo Schrauberhandbuch Pat Braden / Kniha Pevná
common.buy 49.23 €
Optische Rhetorik Peter Mohr / Kniha Brožovaná
common.buy 26.62 €
Les outils qualitatifs en géographie - 2e éd. Marianne Morange / Kniha Brožovaná
common.buy 29.94 €
Schattenvolk Viola Huber / Kniha Brožovaná
common.buy 17.78 €
Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch / Kniha Brožovaná
common.buy 24.91 €
Nova Acta Academiae Caesareae Leopoldino Hermann Knoblauch / Kniha Brožovaná
common.buy 35.36 €
Die personelle Vermoegensverteilung in der Bundesrepublik Deutschland und ihre Bestimmungsgruende Dietmar Baron / Kniha Brožovaná
common.buy 113.14 €
Kleine Träume Beate Bode-Buchner / Kniha Pevná
common.buy 20.50 €
Frozen Planet, The Blue Planet, Planet Earth: Das Klavieralbum George Fenton / Kniha Brožovaná
common.buy 19.28 €
Los puritanos y otros cuentos Armando Palacio Valdes / Kniha Brožovaná
common.buy 7.43 €
Nebe voní tebou Eva Hrašková / Kniha Pevná
common.buy 7.83 €
Iluminacion Evolutiva: Un Nuevo Camino Hacia el Despertar Espiritual = Evolutionary Illumination Andrew Cohen / Kniha Brožovaná
common.buy 16.77 €
wols / catalogue de l'exposition Sous la direction de anne montfort / Kniha Kniha
common.buy 49.83 €
El libro de los besos y la niebla Xosé Carlos Caneiro / Kniha Brožovaná
common.buy 19.59 €
La conspiración contra la especie humana THOMAS LIGOTTI / Kniha Brožovaná
common.buy 24.61 €

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Static Analysis
Autor Antoine Mine, David Schmidt
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 457
EAN 9783642331244
ISBN 3642331246
Libristo kód 01662058
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 718
Rozmery 155 x 235 x 26

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Token for Mourners JOHN FLAVEL / Kniha Pevná
common.buy 29.94 €
Works of Lord Byron, Volume 2 Ernest Hartley Coleridge / Kniha Pevná
common.buy 38.98 €
Sermons on the First Readings, Series II, Cycle B Schuyler Rhodes / Kniha Brožovaná
common.buy 36.97 €
The Battle for the Mind Kenneth Wayne Gilmore / Kniha Brožovaná
common.buy 10.34 €
Common Formative Assessment: A Toolkit for Professional Learning Communities at Work Kim Bailey / Kniha Brožovaná
common.buy 31.54 €
Top
Coraline Graphic Novel Neil Gaiman / Kniha Brožovaná
common.buy 12.25 €
How to Draw Barnyard Animals and Farm Friends! Activity Book CREATIVE PLAYBOOKS / Kniha Brožovaná
common.buy 8.43 €
The Great World of London. Henry Mayhew / Kniha Brožovaná
common.buy 26.12 €
Little Music Lessons for Kids: Lesson 1: A Fascinating Story about the Staff and Treble Clef Tatiana Bandurina / Kniha Brožovaná
common.buy 11.65 €
Little Music Lessons for Kids: Lessons 1-2-3: Three Cheerful Music Stories about a Staff, a Treble Clef and the Line Notes Tatiana Bandurina / Kniha Brožovaná
common.buy 25.21 €
Antithesis Ricky Dee / Kniha Brožovaná
common.buy 14.36 €
Excel in CRE Livinus Wesonga / Kniha Brožovaná
common.buy 14.36 €
Theory of Teaching Thinking KERSLAKE / Kniha Brožovaná
common.buy 60.19 €
Healing the Broken Brain Dr Mike Dow / Kniha Brožovaná
common.buy 14.76 €
They Say I've Had a Stroke: A Stroke Survivor's Journey Elleigh Lee / Kniha Brožovaná
common.buy 27.42 €
The Fowl Twins Eoin Colfer / Kniha Pevná
common.buy 28.03 €
An Introduction to Waste Stream Treatment by Precipitation J. Paul Guyer / Kniha Brožovaná
common.buy 26.52 €
Introduction to Criminology Michael Rowe / Kniha Pevná
common.buy 176.96 €
Top
Goblin Slayer, Vol. 13 (light novel) Kumo Kagyu / Kniha Brožovaná
common.buy 12.55 €
August Kitko and the Mechas from Space Alex White / Kniha Brožovaná
common.buy 14.96 €
Top
The Lost Heir (Wings of Fire #2) SUTHERLAND TUI T / Kniha Brožovaná
common.buy 7.33 €
A Challenge to Adventure Alice Turner Curtis / Kniha Pevná
common.buy 33.45 €
Computer Aided Constellation Management and Communication Satellites Daljeet Singh / Kniha Brožovaná
common.buy 285.99 €
Obey Shepard Fairey / Kniha Pevná
common.buy 36.17 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?