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

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Technology for Verification and Analysis Ahmed Bouajjani
Libristo kód: 01656599
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Celý popis
? points 136 b
56.05 €
Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Endemische Kretinismus F.de Quervain / Kniha Brožovaná
common.buy 53.12 €
List Koloským Mireia Ryšková / Kniha Brožovaná
common.buy 6.97 €
De l’exil à la présence de Dieu Goligher / Kniha Brožovaná
common.buy 12.44 €
Histoire de l'agriculture vue par les artistes Christophe / Kniha Brožovaná
common.buy 26.91 €
Erinnerungen eines Reserveoffiziers Eberhard von Breitenbuch / Kniha Brožovaná
common.buy 15.27 €
Les limites de la rationalité colloque de Cerisy Colloque de Cerisy / Kniha Brožovaná
common.buy 47.05 €
Peppa és a legjobb szülinapi zsúr / Kniha List
common.buy 2.62 €
Master Musicians Of Jajouka Led By Bachir Attar: Jajouka Between The Mountains The Master Musicians of Jajouka / Audio Audio CD
common.buy 16.99 €
Bello, elegante e con la fede al dito Andrea Vitali / Kniha Brožovaná
common.buy 21.44 €
Vzpomínky má každý Alžběta Ottová / Kniha Brožovaná
common.buy 5.35 €
Auswirkungen von Basel II auf Unternehmensgrundungen hinsichtlich Kreditkonditionen Christa Weinrauch / Kniha Brožovaná
common.buy 17.09 €
Processo estratégico de tomada de decis?o sobre investimento direto estrangeiro Hussam Al Halbusi / Kniha Brožovaná
common.buy 32.07 €
La transposition de la Directive (UE) 2019/1023 dite "restructuration et insolvabilité" - La place d Oleksiy Kononov / Kniha Brožovaná
common.buy 88.64 €
Кайдзен Masaaki Imai / Kniha Brožovaná
common.buy 18.41 €
SANANDO A EVA Dra. Leonarda Durán Buike / Kniha Brožovaná
common.buy 14.06 €
Peinture En Europe, Catalogues Raisonnes. Rome. Les Musees, Les Collections Particulieres Georges Edouard Lafenestre / Kniha Brožovaná
common.buy 31.67 €
Le Grand Dictionnaire Historique. Tome 1, Partie 2 Moreri-L / Kniha Brožovaná
common.buy 35.71 €
As sete mortes Carlos Vila Sexto / Kniha Brožovaná
common.buy 18.31 €
Synthese Artifizieller Peptide zur Erzeugung von Supramolekularen Architekturen und zur Markie-rung von Biomolekülen Selda Kabatas / Kniha Brožovaná
common.buy 56.16 €
Immer Trouble mit Gender? Petra Josting / Kniha Brožovaná
common.buy 16.99 €
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Kniha Brožovaná
common.buy 38.34 €
J.R.R. Tolkien meséi John Ronald Reuel Tolkien / Kniha Pevná
common.buy 11.12 €
Ordinamento giuridico feudale tra Sacro Romano Impero e domini sabaudi Marco Mana / Kniha Brožovaná
common.buy 55.14 €
Chyťte Žida! Tuvia Tenenbom / Kniha Brožovaná
common.buy 16.18 €

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.

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 Ahmed Bouajjani, Wei-Ngan Chin
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2010
Počet strán 404
EAN 9783642156427
ISBN 3642156428
Libristo kód 01656599
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 624
Rozmery 327 x 239 x 28

Kategórie

Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
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 > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
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ť

PREMO: A Framework for Multimedia Middleware David Duke / Kniha Brožovaná
common.buy 51.70 €
Alone at Sea John N. Morris / Kniha Brožovaná
common.buy 25.19 €
Learning Medicine Peter Richards / Kniha Brožovaná
common.buy 61.62 €
Producing Success: A Career Guide for Conference Producers David M Hoffman / Kniha Brožovaná
common.buy 14.06 €
Barack Obama in his Own Words Lisa Rogak / Kniha Brožovaná
common.buy 16.18 €
I See You... Michaela Pirie / Kniha Brožovaná
common.buy 15.78 €
Easywriter and Grammar Girl's 101 Words Every High School Graduate Needs to Know, Fourth Edition Andrea A. Lunsford / Kniha Pevná
common.buy 51.40 €
Secret War Against Hanoi Richard H. Shultz / Kniha Brožovaná
common.buy 16.18 €
Ss93 Regions Near and Far Pupil Edition Grade 4 / Kniha Pevná
common.buy 127.10 €
Irish Scenes, Eighteen Years Ago IRISH SCENES / Kniha Pevná
common.buy 30.05 €
Helmholtz Portfolio Theme Large-Scale Data Management and Analysis (LSDMA) Christopher Jung / Kniha Brožovaná
common.buy 41.08 €
Memoir of a Nazarene Edward J Murray / Kniha Pevná
common.buy 31.26 €
1968 Robert P Fitton / Kniha Brožovaná
common.buy 18.31 €
Anecdotes Of Literature And Scarce Books V6 William Beloe / Kniha Brožovaná
common.buy 39.15 €
Powering Future Micro Air Vehicles Daniel J Markham / Kniha Brožovaná
common.buy 13.85 €
Charcoal Drawing Without A Master (1880) Karl Robert / Kniha Brožovaná
common.buy 21.14 €
The Making of Mexico Pamela K. Starr / Kniha Pevná
common.buy 61.01 €
The Strangers: Chapter 1 / Video DVD
common.buy 7.88 €
Lebanese Baking ABOOD MAUREEN / Kniha Pevná
common.buy 25.09 €
Scent of Flowers at Night Leila Slimani / Kniha Brožovaná
common.buy 14.76 €
Adult Coloring Book Relax: Intricate Patterns And Designs To Color, Calming Coloring Activity Book For Stress Relief, Christmas Gift, Birthday Gi Harper Lee Browning / Kniha Brožovaná
common.buy 7.28 €
XXI Century Technosphere Quality Management Gladun Viktor Gladun / Kniha Brožovaná
common.buy 33.89 €
Essential Biochemistry: University of Texas at Austin, CH 369 Fundamentals of Biochemistry [With CDROM] Kathleen Cornely / Kniha Brožovaná
common.buy 114.55 €

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