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

Automated Technology for Verification and Analysis

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 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

Obrázková němčina 5 jídlo Petr Kupka / Kniha
common.buy 26 Kč
Decision Making in Radiation Oncology Jiade J. Lu / Pevná
common.buy 8 210 Kč
Subjectivity in Troubadour Poetry Sarah Kay / Brožovaná
common.buy 1 550 Kč
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Pevná
common.buy 519 Kč
Design Characteristics of Virtual Learning Environments Daniel Müller / Brožovaná
common.buy 1 540 Kč
The Great Pyramid And Theology Joseph A. Seiss / Brožovaná
common.buy 491 Kč
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / Brožovaná
common.buy 1 946 Kč
Algae and Man Daniel F. Jackson / Brožovaná
common.buy 1 540 Kč
Lean Engineering Education Shannon Flumerfelt / Pevná
common.buy 1 751 Kč
Připravujeme
May It Please the Court Ronald Bacigal / Pevná
common.buy 1 856 Kč
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / Brožovaná
common.buy 1 676 Kč
Inklusion und Exklusion in der Sozialen Arbeit Roland Merten / Brožovaná
common.buy 1 948 Kč
ASE Test Preparation - T1 Gasoline Engines Delmar Learning / Brožovaná
common.buy 996 Kč
Mito del Trabajo En Equipo Eugenio Ramírez / Brožovaná
common.buy 1 648 Kč
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / Brožovaná
common.buy 743 Kč
Common Legal Framework for Takeover Bids in Europe Dirk Van Gerven / Pevná
common.buy 4 808 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.

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

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