phone +36 1 6333 184
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 GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

Automated Technology for Verification and Analysis

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Automated Technology for Verification and Analysis Bernd Finkbeiner
Libristo kód: 09524362
Kiadó Springer International Publishing AG, november 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Teljes leírás
? points 168 b
26 263 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-15 napon belül

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

Ezt is ajánljuk

Manolito Gafotas Elvira Lindo / Puha kötésű
common.buy 2 701 Ft
Instructive Modern Chess Masterpieces Igor Stohl / Puha kötésű
common.buy 14 029 Ft
hamarosan
Habe ich denn allein gejubelt? Eva Sternheim-Peters / Kemény kötésű
common.buy 9 438 Ft
Silver: The Spy Who Fooled the Nazis Mihir Bose / Kemény kötésű
common.buy 14 845 Ft
Story of Boston Arthur Gilman / Kemény kötésű
common.buy 17 921 Ft
Deep Black CD Collection: Deep Black, Biowar, Dark Zone Stephen Coonts / Audio CD
common.buy 7 017 Ft
Organic Fertilizers Ghazala Yaqub / Kemény kötésű
common.buy 84 922 Ft
hamarosan
Domestication of the Savage Mind Jack Goody / Kemény kötésű
common.buy 15 920 Ft
Contemporary Legend / Puha kötésű
common.buy 28 939 Ft
Becoming a Great Inclusive Educator Scot Danforth / Puha kötésű
common.buy 27 659 Ft
Marshall of Santa Fe Ralph Gatlin / Kemény kötésű
common.buy 14 640 Ft
New and Experimental Approaches to Writing Lives Hugh Craig / Kemény kötésű
common.buy 59 344 Ft
Lives of the Moghul Emperors HOBART CAUNTER / Kemény kötésű
common.buy 15 750 Ft
Frontiers of Combining Systems Carsten Lutz / Puha kötésű
common.buy 26 263 Ft
High Weald, Royal Tunbridge Wells Ordnance Survey / Térkép
common.buy 7 717 Ft
Ladybird: of Love and Honor Samantha Livingston / Kemény kötésű
common.buy 15 780 Ft

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.§§The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.§

Információ a könyvről

Teljes megnevezés Automated Technology for Verification and Analysis
Szerző Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 520
EAN 9783319249520
ISBN 3319249525
Libristo kód 09524362
Kiadó Springer International Publishing AG
Súly 8015
Méretek 155 x 235 x 30

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
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éptudomány matematikai elmélete
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
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
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