phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Verification, Model Checking, and Abstract Interpretation

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, ledna 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Brožovaná
common.buy 943 Kč
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Brožovaná
common.buy 1 548 Kč
Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Brožovaná
common.buy 1 250 Kč
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Brožovaná
common.buy 361 Kč
Froggy Is the Best Jonathan London / Brožovaná
common.buy 146 Kč
Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray / Brožovaná
common.buy 1 742 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.

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

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