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

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.31 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

La société patriarcale face à la résistance des femmes Resta / Kniha Brožovaná
common.buy 33.06 €
Lebensfunken Akin Yildiz / Kniha Brožovaná
common.buy 10.14 €
Vie Abregee Du T. H. Frere Polycarpe / Kniha Brožovaná
common.buy 14.66 €
MALCOLM X : DE L'EXCLUSIVISME NOIR A LA SPIRITUALITE UNIVERSELLE (JE VEUX CONNAITRE) TARIQ RAMADAN Kniha Brožovaná
common.buy 12.35 €
Kielikarhu 3. Harjoituskirja A. Saari Elli / Kniha Brožovaná
common.buy 24.21 €
I ja sam tu, uz vas Smriti Halls / Kniha Pevná
common.buy 13.66 €
My Little Pony. Witaj w Equestrii. Książka z magnesami Praca zbiorowa / Kniha Pevná
common.buy 7.83 €
Deník Henry David Thoreau / Kniha Pevná
common.buy 17.28 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Kniha Brožovaná
common.buy 16.07 €
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780 ROLAND DE LA PLATIER / Kniha Brožovaná
common.buy 27.63 €
La enzima para rejuvenecer HIROMI SHINYA / Kniha Brožovaná
common.buy 12.76 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Kniha Brožovaná
common.buy 42.61 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Kniha Brožovaná
common.buy 13.46 €
Kumulyativnye Zaryady Oleg Minin / Kniha Brožovaná
common.buy 79.50 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Kniha Brožovaná
common.buy 16.78 €
Die ewige Philosophie Aldous Huxley / Kniha Brožovaná
common.buy 19.59 €
Pripravujeme
Vegetative Physiologie Gerhard Heldmaier / Kniha Pevná
common.buy 49.84 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Kniha Brožovaná
common.buy 105.13 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Kniha Pevná
common.buy 30.65 €

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ť

Ecclesiantics: 30 Years of Church Humor Erik Johnson / Kniha Brožovaná
common.buy 9.74 €
Debates in Citizenship Education James Arthur / Kniha Brožovaná
common.buy 64.42 €
Wizards' Country DAPHNE ROOKE / Kniha Brožovaná
common.buy 13.76 €
Strategic Networking in Small High Tech Firms Mette Monsted / Kniha Brožovaná
common.buy 35.27 €
Compagnie Irlandaise M. W. Kirwan / Kniha Brožovaná
common.buy 21.20 €
Defending Objectivity Margaret Archer / Kniha Pevná
common.buy 232.08 €
The Mammals of Israel Walter W. Ferguson / Kniha Brožovaná
common.buy 27.23 €
Dirty Kiss Rhys Ford / Kniha Brožovaná
common.buy 13.86 €
Khobar Towers Air Force History and Museums Program / Kniha Brožovaná
common.buy 28.94 €
Households as Corporate Firms Krislert Samphantharak / Kniha Brožovaná
common.buy 39.49 €
Glyph* Shiro Nishimoto / Kniha Pevná
common.buy 21.00 €
American Paint Horse Glynn W. Haynes / Kniha Brožovaná
common.buy 28.54 €
Spider Tapestries Mike Allen / Kniha Brožovaná
common.buy 14.66 €
Witch Stories E. Lynn Linton / Kniha Pevná
common.buy 48.74 €
Leisure, Activism, and the Animation of the Urban Environment I R Lamond / E-kniha Adobe ePub DRM
common.buy 61.50 €
Cambridge Companion to the Musical William A. Everett / Kniha Brožovaná
common.buy 43.31 €
Some Mathematical Aspects of Inverse Thermoelastic Problems Kirtiwant Ghadle / Kniha Brožovaná
common.buy 68.04 €
The House of Vanity Hamza Laaouamri / Kniha Brožovaná
common.buy 14.66 €
Inequality in the Digital Economy Andrew White / Kniha Brožovaná
common.buy 137.19 €
Nové
The Application of GIS Technologies in the Roman Period Fernandez / Kniha Brožovaná
common.buy 44.62 €
Impressive Robert Klanten / Kniha Brožovaná
common.buy 46.73 €
Decentralization and Development Partnership Fumihiko Saito / Kniha Brožovaná
common.buy 51.25 €
Parameter Setting Thomas Roeper / Kniha Pevná
common.buy 168.95 €
Environmental History of Medieval Europe Richard Hoffmann / Kniha Brožovaná
common.buy 42.71 €

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