Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Technology for Verification and Analysis Zhiming Liu
Libristo kód: 01650641
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2009
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... Celý popis
? points 125 b
51.36 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Burnout ade! Der ultimative Weg zu Ihrer persönlichen RESILIENZ Dr. Wafi Al-Baghdadi / Kniha Brožovaná
common.buy 15.27 €
Obrázková němčina 5 jídlo Petr Kupka / Kniha Kniha
common.buy 1.10 €
Arcobaleni Yasunari Kawabata / Kniha Brožovaná
common.buy 22.22 €
#dkinfografik. Management einfach erklärt Alexandra Black / Kniha Pevná
common.buy 16.78 €
Adventní kalendář – Minecraft / Kniha Pevná
common.buy 25.22 €
uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa / Kniha Pevná
common.buy 29.66 €
Пересвет Виктор Поротников / Kniha Pevná
common.buy 16.58 €
Phao Đai Đường Mon Chiến Tranh James Willard Schultz / Kniha Brožovaná
common.buy 15.27 €
Lemuria / Kniha Brožovaná
common.buy 10.65 €
Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet / Kniha Brožovaná
common.buy 5.02 €
MHM - CE1 - Guide des séances + Ressources - Programme 2025 Nicolas Pinel / Kniha Brožovaná
common.buy 57.29 €
La ciutat sostenible: un procés de transformació / Kniha Brožovaná
common.buy 13.36 €
FantaNatale di Luì e Sofì / Kniha Brožovaná
common.buy 22.11 €
The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London / Kniha Pevná
common.buy 12.86 €
Ouroboros Joel Gissy / Kniha Brožovaná
common.buy 6.73 €
Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová / Kniha Brožovaná
common.buy 2.91 €
ECHO 1 Cahier personnel d'apprentissage + CD audio Jacques Pecheur / Kniha Brožovaná
common.buy 14.47 €
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Kniha Pevná
common.buy 20.50 €
Georgische Verbtabellen Steffi Chotiwari-Jünger / Kniha Brožovaná
common.buy 21.61 €
Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke / Kniha Brožovaná
common.buy 18.90 €
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / Kniha Brožovaná
common.buy 52.77 €
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / Kniha Brožovaná
common.buy 61.92 €
Mito del Trabajo En Equipo Eugenio Ramírez / Kniha Brožovaná
common.buy 52.27 €
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / Kniha Brožovaná
common.buy 27.45 €

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. §The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. §The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Automated Technology for Verification and Analysis
Autor Zhiming Liu, Anders P. Ravn
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2009
Počet strán 414
EAN 9783642047602
ISBN 3642047602
Libristo kód 01650641
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 652
Rozmery 155 x 235 x 24

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Design Characteristics of Virtual Learning Environments Daniel Müller / Kniha Brožovaná
common.buy 51.36 €
Decision Making in Radiation Oncology Jiade J. Lu / Kniha Pevná
common.buy 239.86 €
Prostate Cancer Imaging: Computer-Aided Diagnosis, Prognosis, and Intervention Anant Madabhushi / Kniha Brožovaná
common.buy 57.19 €
Snow White with the Red Hair, Vol. 20 Sorata Akizuki / Kniha Brožovaná
common.buy 8.64 €
Costa Del Social Joanne St. Clair / Kniha Brožovaná
common.buy 7.53 €
Follies in Fragile States: How international stabilisation failed in the Congo Ian D Quick / Kniha Brožovaná
common.buy 14.37 €
Defiance: Fall of an Empire Tom Ryker / Kniha Brožovaná
common.buy 17.78 €
What A Trip It Was John Brookes / Kniha Brožovaná
common.buy 13.56 €
Conceptual Structure in Childhood and Adolescence Christine Howe / Kniha Brožovaná
common.buy 60.21 €
EASY LOTUS NOTES 4.5 MARMEL / Kniha Kniha
common.buy 35.58 €
Target Grade 3 Reading Edexcel GCSE (9-1) English Language Workbook David Grant / Kniha Brožovaná
common.buy 11.35 €
THE COLLOQUIAL FRENCH READER; OR, INTERE LOUIS FASQUELLE / Kniha Pevná
common.buy 32.56 €
Tapping Student Effort: Increasing Student Achievement Stephen G. Barkley / Kniha Brožovaná
common.buy 23.72 €
Essentials of Environmental Science Andrew Friedland / Kniha Brožovaná
common.buy 299.18 €
The Anarchist Daniel A. Coleman / Kniha Brožovaná
common.buy 13.77 €
The Crowd Sounds Happy: A Story of Love and Madness in an American Family Nicholas Dawidoff / Kniha Brožovaná
common.buy 19.90 €
SUPERCLASS David Rothkopf / Kniha Brožovaná
common.buy 21.40 €
Self Love and the Healing of Our Animal Friends Betsy Adams / Kniha Pevná
common.buy 21.40 €
Sharon's Poems of Life, Love, and Liberty Sharon Wiegand / Kniha Brožovaná
common.buy 14.17 €
Highland Wolf Clan, Book 1, the Reluctant Alpha A K Michaels / Kniha Brožovaná
common.buy 12.56 €
Different Shades of Gray Sand Q Perry / Kniha Brožovaná
common.buy 18.69 €
Prodigal and Other Short Stories Casia Furrer / Kniha Brožovaná
common.buy 8.13 €
Taiwan Cinema, Memory, and Modernity Ivy I-Chu Chang / Kniha Pevná
common.buy 95.10 €
Changing Urban Trends Siegrun F. Freyss / Kniha Pevná
common.buy 238.56 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?