[email protected]
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Computer Aided Verification

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Computer Aided Verification Natasha Sharygina
Libristo kód: 02075327
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Teljes leírás
? points 304 b
47 656 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Exploring Piano Classics Technique Alfred Publishing / Puha kötésű
common.buy 3 375 Ft
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Kemény kötésű
common.buy 43 432 Ft
hamarosan
Vegetative Physiologie Gerhard Heldmaier / Kemény kötésű
common.buy 19 629 Ft
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Puha kötésű
common.buy 63 643 Ft
Parameter Setting Thomas Roeper / Kemény kötésű
common.buy 73 292 Ft
Die ewige Philosophie Aldous Huxley / Puha kötésű
common.buy 7 846 Ft
Households as Corporate Firms Krislert Samphantharak / Puha kötésű
common.buy 16 821 Ft
Gittertiere 1. Bd.1 Heidi Schär / Puha kötésű
common.buy 8 820 Ft
Decentralization and Development Partnership Fumihiko Saito / Puha kötésű
common.buy 24 164 Ft
Environmental History of Medieval Europe Richard Hoffmann / Puha kötésű
common.buy 12 914 Ft

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áció a könyvről

Teljes megnevezés Computer Aided Verification
Szerző Natasha Sharygina, Helmut Veith
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2013
Oldalszám 1015
EAN 9783642397981
ISBN 3642397980
Libristo kód 02075327
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1539
Méretek 155 x 235 x 56

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása