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.

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Tayssir Touili
Libristo kód: 01656210
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Celý popis
? points 267 b
110.76 €
Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Vitametrie® Joachim Heuser / Kniha Brožovaná
common.buy 17.02 €
Inklusive Schule und Vielfalt Gottfried Biewer / Kniha Brožovaná
common.buy 22.49 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Kniha Brožovaná
common.buy 40.22 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Kniha Brožovaná
common.buy 75.49 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Hra/Hračka Hračka
common.buy 4.55 €
A Business Proposal n? 03 Narak / Kniha Brožovaná
common.buy 18.84 €
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Kniha Pevná
common.buy 24.11 €
Plastic Hearts Miley Cyrus / Audio Audio CD
common.buy 12.35 €
Hermann von Salza Heinrich Hävernick / Kniha Brožovaná
common.buy 22.39 €
Orta in giallo Erica Gibogini / Kniha Brožovaná
common.buy 13.06 €
Borkum einst und jetzt B. Huismann / Kniha Brožovaná
common.buy 16.21 €
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Kniha Brožovaná
common.buy 14.08 €
Israel Gerrit Michel / Kniha Brožovaná
common.buy 50.05 €
Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Kniha Brožovaná
common.buy 46.41 €
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Kniha Brožovaná
common.buy 51.27 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Kniha Brožovaná
common.buy 43.87 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Kniha Brožovaná
common.buy 17.22 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Computer Aided Verification
Autor Tayssir Touili, Byron Cook, Paul Jackson
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2010
Počet strán 676
EAN 9783642142949
ISBN 364214294X
Libristo kód 01656210
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 961
Rozmery 155 x 238 x 28

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
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 > Teória algoritmov
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 > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Informačné technológie: všeobecné té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ť

Spatial Analysis and GeoComputation Manfred M. Fischer / Kniha Brožovaná
common.buy 103.16 €
Research in Computational Molecular Biology Benny Chor / Kniha Brožovaná
common.buy 57.35 €
Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Kniha Pevná
common.buy 113.50 €
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Kniha Brožovaná
common.buy 21.48 €
Laparoscopic Colorectal Surgery Mark Coleman / Kniha Pevná
common.buy 293.08 €
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Kniha Brožovaná
common.buy 16.21 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Kniha Brožovaná
common.buy 42.86 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Kniha Brožovaná
common.buy 8.10 €
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Kniha Brožovaná
common.buy 9.82 €
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Kniha Brožovaná
common.buy 8.10 €
Double Exposure: A Twin Autobiography Thelma Furness / Kniha Pevná
common.buy 47.32 €
Ink Stained Hands Jennifer Rapp / Kniha Brožovaná
common.buy 14.08 €
C++ Reactive Programming Peter Abraham / Kniha Brožovaná
common.buy 47.32 €
Top
Flash by Geoff Johns Omnibus Vol. 1 Geoff Johns / Kniha Pevná
common.buy 78.84 €
Moult and Ageing of European Passerines Lukas Jenni / Kniha Pevná
common.buy 104.78 €
Practical Guide to Managing Clinical Trials Pfeiffer / Kniha Brožovaná
common.buy 69.11 €
Pale Horse Rider Mark Jacobson / E-kniha Adobe ePub DRM
common.buy 18.84 €
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-kniha Adobe ePub DRM
common.buy 12.86 €
Golden Chain Algis Uzdavinys / E-kniha Adobe ePub DRM
common.buy 39.92 €
It's Only Me John Underwood / E-kniha Adobe ePub DRM
common.buy 24.41 €
Kid's Box New Generation Level 1 Posters British English Caroline Nixon / Tlačovina Plagát
common.buy 24.72 €
Mathematical Aspects of Paradoxes in Cosmology Michal Krízek / Kniha Pevná
common.buy 154.64 €
Illustrated Bible Stories Various / Kniha Pevná
common.buy 16.10 €
Coercion and Conciliation in Ireland 1880-1892 Lewis Perry Curtis / Kniha Brožovaná
common.buy 85.73 €

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