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 335 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

andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Könyv Puha kötésű
common.buy 6 288 Ft
Le Coran expliqué aux jeunes Rachid Benzine / Könyv Puha kötésű
common.buy 4 481 Ft
Burenkrieg (1899-1902) Burkhard Werner / Könyv Puha kötésű
common.buy 5 274 Ft
Augusto Giacometti Beat Stutzer / Könyv Puha kötésű
common.buy 16 678 Ft
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Könyv Puha kötésű
common.buy 6 937 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 11 919 Ft
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Könyv Puha kötésű
common.buy 15 635 Ft
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Könyv Kemény kötésű
common.buy 3 425 Ft
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Könyv Puha kötésű
common.buy 7 025 Ft
UN HERISSON EMMANUELLE KECIR-LEPETIT / Könyv Könyv
common.buy 4 847 Ft
Holašovice: Vesnická památková rezervace collegium / Könyv Lap
common.buy 4 467 Ft
Plansza dwustronna A4 ściąga Europa / Könyv binding.
common.buy 630 Ft
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-könyv Adobe ePub DRM
common.buy 4 982 Ft
Joan Miro TBD / Könyv Kemény kötésű
common.buy 15 561 Ft
Dawit Isaak Anisur Rahman / Könyv Puha kötésű
common.buy 9 611 Ft
Jak jsem se (ne)stal agentem StB Jan Vaněček / Könyv binding.
common.buy 1 265 Ft
Des petits mondes en leur début / Könyv Puha kötésű
common.buy 13 564 Ft
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Könyv Kemény kötésű
common.buy 19 750 Ft
Indische Reisebriefe Ernst Haeckel / Könyv Puha kötésű
common.buy 13 870 Ft
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Könyv Puha kötésű
common.buy 12 183 Ft
Sang famille Michel Bussi / Könyv Puha kötésű
common.buy 4 731 Ft
Traite Du Jeu. Volume 1 BARBEYRAC-J / Könyv Puha kötésű
common.buy 11 534 Ft
Gottfried Keller Albert Köster / Könyv Puha kötésű
common.buy 8 921 Ft
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Könyv Puha kötésű
common.buy 5 232 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 335 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 23 717 Ft
Changing Room Zhai Yongming / Könyv Puha kötésű
common.buy 6 789 Ft
Torn in the New Sa Bronwyn McIntosh / Könyv Puha kötésű
common.buy 9 199 Ft
English Physician's Guide or a Holy Guide V1 John Heydon / Könyv Kemény kötésű
common.buy 22 999 Ft
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Könyv Puha kötésű
common.buy 10 890 Ft
REASONABLE SERVICE WILLIAM PAG ROBERTS / Könyv Kemény kötésű
common.buy 12 123 Ft
Dominoes: Three: The Secret Agent Joseph Conrad / Könyv Puha kötésű
common.buy 5 348 Ft
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Könyv Puha kötésű
common.buy 10 125 Ft
Seven Hours at the Ocean Ty Davis / Könyv Puha kötésű
common.buy 2 938 Ft
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Könyv Puha kötésű
common.buy 8 624 Ft
Entering the Healing Ground WELLER FRANCIS / Könyv Puha kötésű
common.buy 5 876 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 409 Ft
Two Dark Reigns Kendare Blake / Könyv Puha kötésű
common.buy 3 703 Ft
The Voice of the Pack Edison Marshall / Könyv Puha kötésű
common.buy 12 123 Ft
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Könyv Puha kötésű
common.buy 4 996 Ft
My Mom is a Construction Manager Princess Karibo / Könyv Puha kötésű
common.buy 10 329 Ft
Robert Rauschenberg and Surrealism Gavin Parkinson / Könyv Puha kötésű
common.buy 15 988 Ft
30 Great Books That Made History Aurell / Könyv Puha kötésű
common.buy 9 157 Ft
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Könyv Kemény kötésű
common.buy 29 816 Ft
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Könyv Puha kötésű
common.buy 39 793 Ft
Transport and Reactivity of Solutions in Confined Hydrosystems Lionel Mercury / Könyv Kemény kötésű
common.buy 59 631 Ft
History of the People's Republic of China, 1949-1976 Julia Strauss / Könyv Puha kötésű
common.buy 17 707 Ft
Get addicted to free-motion quilting Sheila Sinclair Snyder / Könyv Puha kötésű
common.buy 7 025 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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?