phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Computer Aided Verification

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 304 b
120.90 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Exploring Piano Classics Technique Alfred Publishing / Brožovaná
common.buy 8.55 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Pevná
common.buy 110.22 €
PRIPRAVUJEME
Vegetative Physiologie Gerhard Heldmaier / Pevná
common.buy 49.76 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Brožovaná
common.buy 161.50 €
Parameter Setting Thomas Roeper / Pevná
common.buy 185.99 €
Households as Corporate Firms Krislert Samphantharak / Brožovaná
common.buy 42.71 €
Die ewige Philosophie Aldous Huxley / Brožovaná
common.buy 19.94 €
Gittertiere 1. Bd.1 Heidi Schär / Brožovaná
common.buy 22.36 €
Decentralization and Development Partnership Fumihiko Saito / Brožovaná
common.buy 61.35 €
Environmental History of Medieval Europe Richard Hoffmann / Brožovaná
common.buy 32.74 €

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.§

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

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