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 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Automated Technology for Verification and Analysis

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Technology for Verification and Analysis Ahmed Bouajjani
Libristo kód: 01656599
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Celý popis
? points 170 b
1 702 Kč
Skladem u dodavatele v malém množství Odesíláme za 9-13 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Asterix: Asterix Omnibus 4 René Goscinny / Brožovaná
common.buy 410 Kč
Připravujeme
Pierre Gagnaire: Reinventing French Cuisine Jean-Francois Abert / Pevná
common.buy 795 Kč
Martian Chronicles Ray Bradbury / Pevná
common.buy 565 Kč
Anatomia zwierzat do kolorowania. Aparat ruchu. Podrecznik dla studentow weterynarii Halina Purzyc / Brožovaná
common.buy 601 Kč
Alone at Sea John N. Morris / Brožovaná
common.buy 675 Kč
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Brožovaná
common.buy 1 588 Kč
Progression of the American Presidency Jim Twombly / Brožovaná
common.buy 1 681 Kč
Learning Medicine Peter Richards / Brožovaná
common.buy 1 982 Kč
Altbaukonstruktionen - Materialien und U-Werte im Gebäudebestand. Swen Klauß / Brožovaná
common.buy 1 489 Kč
PREMO: A Framework for Multimedia Middleware David Duke / Brožovaná
common.buy 1 681 Kč
Education, Indigenous Knowledges, and Development in the Global South Anders Breidlid / Pevná
common.buy 7 284 Kč
Our Cats And All About Them Harrison Weir / Pevná
common.buy 1 121 Kč
Mysticism in Twentieth-Century Hebrew Literature Hamutal Bar-Yosef / Pevná
common.buy 3 393 Kč
My Philosophy Oliver Lodge / Brožovaná
common.buy 1 428 Kč

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

Informace o knize

Plný název Automated Technology for Verification and Analysis
Autor Ahmed Bouajjani, Wei-Ngan Chin
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 404
EAN 9783642156427
ISBN 3642156428
Libristo kód 01656599
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 624
Rozměry 327 x 239 x 28

Kategorie

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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
Výpočetní a informační technologie > Operační systémy
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