Kód: 01656599

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656599
Price: 57.13 EUR
Availability: BackOrder

Autor Ahmed Bouajjani, Wei-Ngan Chin

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 regula ... celý popis

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 404
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
Viac informácií o knihe

57.13 €

Dostupnosť:

50 % šanca

Máme informáciu, že by titul mohol byť dostupný. Na základe vašej objednávky sa ho pokúsime do 6 týždňov zabezpečiť.
Prehľadáme celý svet

Informovať o naskladnení

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Alone at Sea
28.51 € -2 %
Kúpiť
PREMO: A Framework for Multimedia Middleware
70.22 €
Kúpiť
Learning Medicine
82.80 €
Kúpiť
Progression of the American Presidency
70.22 €
Kúpiť
Martian Chronicles
23.84 € -3 %
Kúpiť
Asterix: Asterix Omnibus 4
16.43 € -23 %
Kúpiť
Pierre Gagnaire: Reinventing French Cuisine
31.86 € -13 %
Predobjednať
Our Cats And All About Them
46.98 €
Kúpiť
Mysticism in Twentieth-Century Hebrew Literature
141.46 €
Kúpiť
My Philosophy
59.46 €
Kúpiť
Education, Indigenous Knowledges, and Development in the Global South
303.93 €
Kúpiť
Altbaukonstruktionen - Materialien und U-Werte im Gebäudebestand.
59.76 € -4 %
Kúpiť
Anatomia zwierzat do kolorowania. Aparat ruchu. Podrecznik dla studentow weterynarii
24.14 €
Kúpiť
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan
66.56 €
Kúpiť
Immer Trouble mit Gender?
19.17 €
Kúpiť
Synthese Artifizieller Peptide zur Erzeugung von Supramolekularen Architekturen und zur Markie-rung von Biomolekülen
66.66 €
Kúpiť
Beiträge zur Lehre von der Condictio nach römischem und geltendem Recht.
32.46 €
Kúpiť
Mein Sardinien
9.53 €
Kúpiť
Auswirkungen von Basel II auf Unternehmensgrundungen hinsichtlich Kreditkonditionen
51.04 €
Kúpiť
Anleitung zum Bestimmen der Familien der Phanerogamen
57.02 €
Kúpiť
Ordinamento giuridico feudale tra Sacro Romano Impero e domini sabaudi
65.55 €
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Informovať o naskladnení knihy

Zašleme vám správu akonáhle knihu naskladníme

Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.

Viac informácií o knihe Automated Technology for Verification and Analysis

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 142 bodov

Anotácia knihy

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer hardware Network hardware

57.13 €

Celý názov: Automated Technology for Verification and Analysis
Podnázov: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Autor: Ahmed Bouajjani, Wei-Ngan Chin
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 404
EAN: 9783642156427
ISBN: 3642156428
ID: 01656599
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť: 624 g
Rozmery: 239 × 327 × 28 mm
Dátum vydania: 03. September 2010