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

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Verification, Model Checking, and Abstract Interpretation Radhia Cousot
Libristo kód: 01560226
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Teljes leírás
? points 136 b
19 928 Ft
Beszállítói készleten Küldés 5-8 napon belül

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

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

la discesa Lucio Mencatelli / Könyv Puha kötésű
common.buy 3 624 Ft
Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet / Könyv Puha kötésű
common.buy 11 093 Ft
Una ética para laicos Rorty / Könyv Puha kötésű
common.buy 3 008 Ft
Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá / Könyv Spirálozott
common.buy 3 300 Ft
Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Könyv Puha kötésű
common.buy 13 870 Ft
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Könyv Puha kötésű
common.buy 15 925 Ft
Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle / Könyv Puha kötésű
common.buy 8 511 Ft
Traumangeln auf Königsfische Rainer J. Bouterwek / Könyv Kemény kötésű
common.buy 9 978 Ft
Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Könyv Puha kötésű
common.buy 9 728 Ft

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.§The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

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ő Radhia Cousot
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2005
Oldalszám 483
EAN 9783540242970
ISBN 354024297X
Libristo kód 01560226
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1530
Méretek 155 x 235 x 27

Kategória

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

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael / Könyv Puha kötésű
common.buy 5 035 Ft
Way of the Argosi Sebastien de Castell / Könyv Kemény kötésű
common.buy 7 673 Ft
Otto the Ordinary and His Fabulous Friends Jeff Baetzel / Könyv Kemény kötésű
common.buy 7 104 Ft
Crisis of this World Merrill Stephen Mason Merrill / Könyv Puha kötésű
common.buy 6 618 Ft
Empowering Leadership of Tomorrow Ryszard Praszkier / Könyv Puha kötésű
common.buy 15 323 Ft
The Influence of Sea Power Upon History 1660-1783 A. T. Mahan / Könyv Puha kötésű
common.buy 12 579 Ft
Delarivier Manley: 'The New Atalantis' Manley / Könyv Kemény kötésű
common.buy 46 344 Ft
Cornet Student Fred Weber / Könyv Puha kötésű
common.buy 6 678 Ft
Froggy Is the Best Jonathan London / Könyv Puha kötésű
common.buy 2 143 Ft
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Könyv Puha kötésű
common.buy 5 179 Ft
Abortion Stephane Bordeau / Könyv Puha kötésű
common.buy 5 854 Ft
L'Inde Pittoresque (1861) Louis Enault / Könyv Puha kötésű
common.buy 16 452 Ft
THE KING IN YELLOW 1895 ROBERT W. CHAMBERS / Könyv Puha kötésű
common.buy 11 741 Ft
Child Health & Human Development Yearbook 2010 Joav Merrick / Könyv Kemény kötésű
common.buy 120 753 Ft
Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi / Könyv Puha kötésű
common.buy 6 326 Ft
Very Bad Wizard Tamler Sommers / Könyv Puha kötésű
common.buy 22 293 Ft
Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray / Könyv Puha kötésű
common.buy 24 741 Ft
Bloodchild Anna Stephens / Könyv Puha kötésű
common.buy 4 489 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?