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.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2009
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London / Kniha Pevná
common.buy 305 Kč
Vitae Paparum Avenionensium V3 (1921) Etienne Baluze / Kniha Brožovaná
common.buy 1 011 Kč
Top
Obrázková němčina 5 jídlo Petr Kupka / Kniha Kniha
common.buy 21 Kč
Пересвет Виктор Поротников / Kniha Pevná
common.buy 403 Kč
Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet / Kniha Brožovaná
common.buy 152 Kč
Nové
Arcobaleni Yasunari Kawabata / Kniha Brožovaná
common.buy 380 Kč
Připravujeme
Adventní kalendář – Minecraft / Kniha Pevná
common.buy 580 Kč
#dkinfografik. Management einfach erklärt Alexandra Black / Kniha Pevná
common.buy 384 Kč
uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa / Kniha Pevná
common.buy 682 Kč
Serie estampar con selllos nº 1. CREAR ORIGINALES SELLOS CON TACOS DE MADERA Y G HEIKE ROLAND / Kniha Brožovaná
common.buy 176 Kč
Graues Meer und blaue Sonnen Nathan Jaeger / Kniha Brožovaná
common.buy 284 Kč
Terradentro XOSE BENITO REZA / Kniha Brožovaná
common.buy 571 Kč
Musik-Stars - Grundwissen 3./4. Schuljahr - Übungsheft mit Lösungen und Audio-CD Solveig Wezel / Kniha Brožovaná
common.buy 283 Kč
Ouroboros Joel Gissy / Kniha Brožovaná
common.buy 156 Kč
Inklusion und Exklusion in der Sozialen Arbeit Roland Merten / Kniha Brožovaná
common.buy 1 434 Kč
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / Kniha Brožovaná
common.buy 630 Kč
Mito del Trabajo En Equipo Eugenio Ramírez / Kniha Brožovaná
common.buy 1 198 Kč
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / Kniha Brožovaná
common.buy 1 419 Kč
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / Kniha Brožovaná
common.buy 1 214 Kč
Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke / Kniha Brožovaná
common.buy 434 Kč
Georgische Verbtabellen Steffi Chotiwari-Jünger / Kniha Brožovaná
common.buy 498 Kč
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Kniha Pevná
common.buy 469 Kč
Informationstechnologie - Einzelbände Thomas Schneider / Kniha List
common.buy 403 Kč
Top
Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová / Kniha Brožovaná
common.buy 59 Kč

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 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 Automated Technology for Verification and Analysis
Autor Zhiming Liu, Anders P. Ravn
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 414
EAN 9783642047602
ISBN 3642047602
Libristo kód 01650641
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 652
Rozměry 155 x 235 x 24

Kategorie

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 > Teorie algoritmů
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

Decision Making in Radiation Oncology Jiade J. Lu / Kniha Pevná
common.buy 5 685 Kč
Design Characteristics of Virtual Learning Environments Daniel Müller / Kniha Brožovaná
common.buy 1 182 Kč
What is Medieval History? John H. Arnold / Kniha Brožovaná
common.buy 476 Kč
Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam / Kniha Brožovaná
common.buy 1 380 Kč
Historical Notices of the Edifice Called the King's Manor, Situate Near the Walls of the City of York. [an Offprint from the Twenty-Ninth Report of th Anthony Buckle / Kniha Brožovaná
common.buy 321 Kč
Author's Daughter. [A Novel.] Catherine Helen Spence / Kniha Brožovaná
common.buy 554 Kč
The Great Pyramid And Theology Joseph A. Seiss / Kniha Brožovaná
common.buy 423 Kč
Sharon's Poems of Life, Love, and Liberty Sharon Wiegand / Kniha Brožovaná
common.buy 353 Kč
Self Love and the Healing of Our Animal Friends Betsy Adams / Kniha Pevná
common.buy 508 Kč
Different Shades of Gray Sand Q Perry / Kniha Brožovaná
common.buy 444 Kč
SUPERCLASS David Rothkopf / Kniha Brožovaná
common.buy 474 Kč
The Crowd Sounds Happy: A Story of Love and Madness in an American Family Nicholas Dawidoff / Kniha Brožovaná
common.buy 464 Kč
Essentials of Environmental Science Andrew Friedland / Kniha Brožovaná
common.buy 7 089 Kč
Tapping Student Effort: Increasing Student Achievement Stephen G. Barkley / Kniha Brožovaná
common.buy 563 Kč
THE COLLOQUIAL FRENCH READER; OR, INTERE LOUIS FASQUELLE / Kniha Pevná
common.buy 772 Kč
Problems And Solutions In Mathematical Olympiad (High School 1) Zhigang Feng / Kniha Pevná
common.buy 3 107 Kč
Security, Development and the Fragile State Yiagadeesen Samy / Kniha Pevná
common.buy 5 446 Kč
Conceptual Structure in Childhood and Adolescence Christine Howe / Kniha Brožovaná
common.buy 1 355 Kč
What A Trip It Was John Brookes / Kniha Brožovaná
common.buy 322 Kč
Defiance: Fall of an Empire Tom Ryker / Kniha Brožovaná
common.buy 422 Kč
Follies in Fragile States: How international stabilisation failed in the Congo Ian D Quick / Kniha Brožovaná
common.buy 341 Kč
From the Land of the Snow Pearls: Tales from Puget Sound (1902) Ella Higginson / Kniha Brožovaná
common.buy 685 Kč
Costa Del Social Joanne St. Clair / Kniha Brožovaná
common.buy 180 Kč
Creative Haven Beautiful Bible Blessings Coloring Book Jessica Mazurkiewicz / Kniha Brožovaná
common.buy 143 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?