Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verification, Model Checking, and Abstract Interpretation

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Radhia Cousot
Libristo kód: 01560226
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

la discesa Lucio Mencatelli / Kniha Brožovaná
common.buy 217 Kč
Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet / Kniha Brožovaná
common.buy 756 Kč
Una ética para laicos Rorty / Kniha Brožovaná
common.buy 205 Kč
Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá / Kniha Kroužková
common.buy 181 Kč
Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Kniha Brožovaná
common.buy 820 Kč
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Kniha Brožovaná
common.buy 934 Kč
Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle / Kniha Brožovaná
common.buy 582 Kč
Traumangeln auf Königsfische Rainer J. Bouterwek / Kniha Pevná
common.buy 680 Kč
Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Kniha Brožovaná
common.buy 571 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Radhia Cousot
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 483
EAN 9783540242970
ISBN 354024297X
Libristo kód 01560226
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1530
Rozměry 155 x 235 x 27

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael / Kniha Brožovaná
common.buy 301 Kč
Way of the Argosi Sebastien de Castell / Kniha Pevná
common.buy 444 Kč
Otto the Ordinary and His Fabulous Friends Jeff Baetzel / Kniha Pevná
common.buy 432 Kč
Crisis of this World Merrill Stephen Mason Merrill / Kniha Brožovaná
common.buy 388 Kč
Empowering Leadership of Tomorrow Ryszard Praszkier / Kniha Brožovaná
common.buy 882 Kč
The Influence of Sea Power Upon History 1660-1783 A. T. Mahan / Kniha Brožovaná
common.buy 767 Kč
Delarivier Manley: 'The New Atalantis' Manley / Kniha Pevná
common.buy 2 845 Kč
Cornet Student Fred Weber / Kniha Brožovaná
common.buy 454 Kč
Froggy Is the Best Jonathan London / Kniha Brožovaná
common.buy 125 Kč
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Kniha Brožovaná
common.buy 310 Kč
Abortion Stephane Bordeau / Kniha Brožovaná
common.buy 354 Kč
L'Inde Pittoresque (1861) Louis Enault / Kniha Brožovaná
common.buy 990 Kč
THE KING IN YELLOW 1895 ROBERT W. CHAMBERS / Kniha Brožovaná
common.buy 623 Kč
Child Health & Human Development Yearbook 2010 Joav Merrick / Kniha Pevná
common.buy 7 362 Kč
Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi / Kniha Brožovaná
common.buy 380 Kč
Very Bad Wizard Tamler Sommers / Kniha Brožovaná
common.buy 1 355 Kč
Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray / Kniha Brožovaná
common.buy 1 533 Kč
Bloodchild Anna Stephens / Kniha Brožovaná
common.buy 251 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?