A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Libristo kód: 01655343
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Teljes leírás
? points 145 b
21 935 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-18 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Kamumemoár James Blunt / Könyv Kemény kötésű
common.buy 6 175 Ft
Usługiwałem esesmanom z Auschwitz. Wspomnienia więźnia z komanda Unterkunskammer wyd. 2025 Józef Seweryn / Könyv Puha kötésű
common.buy 4 293 Ft
UN HERISSON EMMANUELLE KECIR-LEPETIT / Könyv Könyv
common.buy 4 850 Ft
Dawit Isaak Anisur Rahman / Könyv Puha kötésű
common.buy 9 881 Ft
Des petits mondes en leur début / Könyv Puha kötésű
common.buy 13 945 Ft
Joan Miro TBD / Könyv Kemény kötésű
common.buy 16 180 Ft
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-könyv Adobe ePub DRM
common.buy 5 184 Ft
Le Coran expliqué aux jeunes Rachid Benzine / Könyv Puha kötésű
common.buy 4 488 Ft
Plansza dwustronna A4 ściąga Europa / Könyv binding.
common.buy 1 086 Ft
Augusto Giacometti Beat Stutzer / Könyv Puha kötésű
common.buy 17 132 Ft
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Könyv Puha kötésű
common.buy 7 132 Ft
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Könyv Puha kötésű
common.buy 12 254 Ft
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Könyv Puha kötésű
common.buy 7 223 Ft
Iniciacion deportiva en la escuela Abadi / Könyv Puha kötésű
common.buy 10 891 Ft
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Könyv Puha kötésű
common.buy 21 030 Ft
Moje plány Jan Sokol / Könyv Puha kötésű
common.buy 5 469 Ft
Holašovice: Vesnická památková rezervace collegium / Könyv Lap
common.buy 4 593 Ft
Jak jsem se (ne)stal agentem StB Jan Vaněček / Könyv binding.
common.buy 1 301 Ft
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Könyv Puha kötésű
common.buy 6 465 Ft
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Könyv Puha kötésű
common.buy 16 075 Ft
Burenkrieg (1899-1902) Burkhard Werner / Könyv Puha kötésű
common.buy 5 422 Ft
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Könyv Kemény kötésű
common.buy 20 291 Ft
Indische Reisebriefe Ernst Haeckel / Könyv Puha kötésű
common.buy 14 260 Ft
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Könyv Puha kötésű
common.buy 12 525 Ft

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Verification, Model Checking, and Abstract Interpretation
Szerző Gilles Barthe, Manuel Hermenegildo
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 397
EAN 9783642113185
ISBN 3642113184
Libristo kód 01655343
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 612
Méretek 155 x 235 x 23

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Bio-Inspired Computing and Applications De-Shuang Huang / Könyv Puha kötésű
common.buy 21 935 Ft
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Könyv Puha kötésű
common.buy 10 410 Ft
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Könyv Kemény kötésű
common.buy 30 654 Ft
Changing Room Zhai Yongming / Könyv Puha kötésű
common.buy 6 903 Ft
Torn in the New Sa Bronwyn McIntosh / Könyv Puha kötésű
common.buy 8 476 Ft
English Physician's Guide or a Holy Guide V1 John Heydon / Könyv Kemény kötésű
common.buy 23 645 Ft
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Könyv Puha kötésű
common.buy 11 196 Ft
REASONABLE SERVICE WILLIAM PAG ROBERTS / Könyv Kemény kötésű
common.buy 12 464 Ft
Dominoes: Three: The Secret Agent Joseph Conrad / Könyv Puha kötésű
common.buy 5 498 Ft
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project Andreas Hoppe / Könyv Puha kötésű
common.buy 15 336 Ft
Seven Hours at the Ocean Ty Davis / Könyv Puha kötésű
common.buy 3 021 Ft
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Könyv Puha kötésű
common.buy 8 866 Ft
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Könyv Kemény kötésű
common.buy 24 384 Ft
The Doctrine of the Two Covenants Ezekiel Hopkins / Könyv Puha kötésű
common.buy 6 465 Ft
Outdoors: A Book of the Woods, Fields and Marshlands (1907) Ernest McGaffey / Könyv Puha kötésű
common.buy 12 087 Ft
The Voice of the Pack Edison Marshall / Könyv Puha kötésű
common.buy 12 464 Ft
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Könyv Puha kötésű
common.buy 6 589 Ft
Toplistás
Two Dark Reigns Kendare Blake / Könyv Puha kötésű
common.buy 3 673 Ft
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Könyv Puha kötésű
common.buy 5 136 Ft
Toplistás
Think Starter Workbook with Online Practice Herbert Puchta / Könyv Kemény kötésű
common.buy 4 140 Ft
Anthems for Choirs 4 Christopher Morris / Nyomtatványok Kotta
common.buy 9 367 Ft
Toplistás
Entering the Healing Ground WELLER FRANCIS / Könyv Puha kötésű
common.buy 6 041 Ft
30 Great Books That Made History Aurell / Könyv Puha kötésű
common.buy 9 324 Ft
Robert Rauschenberg and Surrealism Gavin Parkinson / Könyv Puha kötésű
common.buy 15 031 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása