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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Natasha Sharygina
Libristo kód: 02075327
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Celý popis
? points 249 b
102.99 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

I ja sam tu, uz vas Smriti Halls / Kniha Pevná
common.buy 13.75 €
Vie Abregee Du T. H. Frere Polycarpe / Kniha Brožovaná
common.buy 14.76 €
La société patriarcale face à la résistance des femmes Resta / Kniha Brožovaná
common.buy 34.49 €
Kumulyativnye Zaryady Oleg Minin / Kniha Brožovaná
common.buy 80.02 €
Lebensfunken Akin Yildiz / Kniha Brožovaná
common.buy 10.21 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Kniha Brožovaná
common.buy 16.18 €
La enzima para rejuvenecer HIROMI SHINYA / Kniha Brožovaná
common.buy 12.94 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Kniha Brožovaná
common.buy 42.89 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Kniha Brožovaná
common.buy 14.76 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Kniha Pevná
common.buy 30.85 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Kniha Brožovaná
common.buy 17.09 €
Die ewige Philosophie Aldous Huxley / Kniha Brožovaná
common.buy 19.72 €
Tatort Ägypten Arthur Conan Doyle / Kniha Brožovaná
common.buy 18.81 €
Pripravujeme
Gittertiere 1. Bd.1 Heidi Schär / Kniha Brožovaná
common.buy 26.60 €
Pripravujeme
Vegetative Physiologie Gerhard Heldmaier / Kniha Pevná
common.buy 50.38 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Kniha Brožovaná
common.buy 90.34 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2013
Počet strán 1015
EAN 9783642397981
ISBN 3642397980
Libristo kód 02075327
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1539
Rozmery 155 x 235 x 56

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
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
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ť

Debates in Citizenship Education James Arthur / Kniha Brožovaná
common.buy 61.71 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Kniha Brožovaná
common.buy 9.80 €
Cambridge Companion to the Musical William A. Everett / Kniha Brožovaná
common.buy 43.60 €
The Mammals of Israel Walter W. Ferguson / Kniha Brožovaná
common.buy 27.41 €
Spider Tapestries Mike Allen / Kniha Brožovaná
common.buy 14.76 €
Glyph* Shiro Nishimoto / Kniha Pevná
common.buy 22.35 €
Khobar Towers Air Force History and Museums Program / Kniha Brožovaná
common.buy 29.13 €
Dirty Kiss Rhys Ford / Kniha Brožovaná
common.buy 13.95 €
The Passaic Flood of 1903 Marshall Ora Leighton / Kniha Brožovaná
common.buy 15.87 €
Defending Objectivity Margaret Archer / Kniha Pevná
common.buy 199.82 €
Compagnie Irlandaise M. W. Kirwan / Kniha Brožovaná
common.buy 22.96 €
Strategic Networking in Small High Tech Firms Mette Monsted / Kniha Brožovaná
common.buy 35.50 €
Wizards' Country DAPHNE ROOKE / Kniha Brožovaná
common.buy 13.95 €
Households as Corporate Firms Krislert Samphantharak / Kniha Brožovaná
common.buy 39.75 €
Exploring Piano Classics Technique Alfred Publishing / Kniha Brožovaná
common.buy 19.01 €
The House of Vanity Hamza Laaouamri / Kniha Brožovaná
common.buy 14.76 €
Inequality in the Digital Economy Andrew White / Kniha Brožovaná
common.buy 138.10 €
Impressive Robert Klanten / Kniha Brožovaná
common.buy 48.25 €
Pripravujeme Nové
The Application of GIS Technologies in the Roman Period Fernandez / Kniha Brožovaná
common.buy 37.32 €
Decentralization and Development Partnership Fumihiko Saito / Kniha Brožovaná
common.buy 51.69 €
Parameter Setting Thomas Roeper / Kniha Pevná
common.buy 167.84 €
Environmental History of Medieval Europe Richard Hoffmann / Kniha Brožovaná
common.buy 42.99 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Kniha Brožovaná
common.buy 144.37 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Kniha Pevná
common.buy 109.26 €

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