A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Computer Aided Verification

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

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 271 b
39 828 Ft
Beszállítói készleten Küldés 5-8 napon belül

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

A vásárlók ilyet vásároltak

I ja sam tu, uz vas Smriti Halls / Könyv Kemény kötésű
common.buy 4 898 Ft
Vie Abregee Du T. H. Frere Polycarpe / Könyv Puha kötésű
common.buy 5 955 Ft
La société patriarcale face à la résistance des femmes Resta / Könyv Puha kötésű
common.buy 12 282 Ft
Kumulyativnye Zaryady Oleg Minin / Könyv Puha kötésű
common.buy 31 150 Ft
Lebensfunken Akin Yildiz / Könyv Puha kötésű
common.buy 4 133 Ft
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Könyv Puha kötésű
common.buy 6 280 Ft
La enzima para rejuvenecer HIROMI SHINYA / Könyv Puha kötésű
common.buy 4 620 Ft
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Könyv Puha kötésű
common.buy 16 531 Ft
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Könyv Puha kötésű
common.buy 5 955 Ft
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Könyv Kemény kötésű
common.buy 11 855 Ft
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Könyv Puha kötésű
common.buy 6 076 Ft
Die ewige Philosophie Aldous Huxley / Könyv Puha kötésű
common.buy 7 690 Ft
Tatort Ägypten Arthur Conan Doyle / Könyv Puha kötésű
common.buy 6 693 Ft
Hamarosan
Gittertiere 1. Bd.1 Heidi Schär / Könyv Puha kötésű
common.buy 9 457 Ft
Hamarosan
Vegetative Physiologie Gerhard Heldmaier / Könyv Kemény kötésű
common.buy 17 931 Ft
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Könyv Puha kötésű
common.buy 32 124 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.§

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

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

Ezt is ajánljuk

Debates in Citizenship Education James Arthur / Könyv Puha kötésű
common.buy 22 931 Ft
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Könyv Puha kötésű
common.buy 3 970 Ft
Cambridge Companion to the Musical William A. Everett / Könyv Puha kötésű
common.buy 16 299 Ft
The Mammals of Israel Walter W. Ferguson / Könyv Puha kötésű
common.buy 10 900 Ft
Spider Tapestries Mike Allen / Könyv Puha kötésű
common.buy 5 955 Ft
Glyph* Shiro Nishimoto / Könyv Kemény kötésű
common.buy 7 973 Ft
Khobar Towers Air Force History and Museums Program / Könyv Puha kötésű
common.buy 11 633 Ft
Dirty Kiss Rhys Ford / Könyv Puha kötésű
common.buy 5 737 Ft
The Passaic Flood of 1903 Marshall Ora Leighton / Könyv Puha kötésű
common.buy 6 544 Ft
Defending Objectivity Margaret Archer / Könyv Kemény kötésű
common.buy 79 675 Ft
Compagnie Irlandaise M. W. Kirwan / Könyv Puha kötésű
common.buy 9 253 Ft
Strategic Networking in Small High Tech Firms Mette Monsted / Könyv Puha kötésű
common.buy 13 339 Ft
Wizards' Country DAPHNE ROOKE / Könyv Puha kötésű
common.buy 5 399 Ft
Households as Corporate Firms Krislert Samphantharak / Könyv Puha kötésű
common.buy 14 856 Ft
Exploring Piano Classics Technique Alfred Publishing / Könyv Puha kötésű
common.buy 6 753 Ft
The House of Vanity Hamza Laaouamri / Könyv Puha kötésű
common.buy 5 941 Ft
Inequality in the Digital Economy Andrew White / Könyv Puha kötésű
common.buy 53 288 Ft
Impressive Robert Klanten / Könyv Puha kötésű
common.buy 17 166 Ft
Hamarosan Új
The Application of GIS Technologies in the Roman Period Fernandez / Könyv Puha kötésű
common.buy 15 032 Ft
Decentralization and Development Partnership Fumihiko Saito / Könyv Puha kötésű
common.buy 19 972 Ft
Parameter Setting Thomas Roeper / Könyv Kemény kötésű
common.buy 64 202 Ft
Environmental History of Medieval Europe Richard Hoffmann / Könyv Puha kötésű
common.buy 17 254 Ft
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Könyv Puha kötésű
common.buy 55 083 Ft
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Könyv Kemény kötésű
common.buy 43 784 Ft

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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?