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 GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Verification, Model Checking, and Abstract Interpretation

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo kód: 15560990
Kiadó Springer International Publishing AG, január 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

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

Ezt is ajánljuk

Peppa Pig: Hide and Peek Peppa Pig / Leporelló
common.buy 3 290 Ft
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Puha kötésű
common.buy 28 594 Ft
Herrliche Zeiten im Spessart Kurt Hoffmann / Blu-ray
common.buy 8 433 Ft
Red Earth Joel Canfield / Puha kötésű
common.buy 9 350 Ft
Satires Contre Les Astronomes MERCIER-L-S / Puha kötésű
common.buy 6 277 Ft
Adventures of Hugh Jorgan Rock Harding / Puha kötésű
common.buy 4 897 Ft
Lehrer sein! Johannes Baumann / Puha kötésű
common.buy 9 380 Ft

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Információ a könyvről

Teljes megnevezés Verification, Model Checking, and Abstract Interpretation
Szerző Ahmed Bouajjani, David Monniaux
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2017
Oldalszám 560
EAN 9783319522333
ISBN 3319522337
Libristo kód 15560990
Kiadó Springer International Publishing AG
Súly 8657
Méretek 155 x 235 x 31

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság
Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
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
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