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

Verification, Model Checking, and Abstract Interpretation

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Libristo kód: 02862913
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Teljes leírás
? points 166 b
25 956 Ft
Beszállítói készleten Küldés 14-18 napon belül

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

Ezt is ajánljuk

The Awful German Language Mark Twain / Kemény kötésű
common.buy 4 102 Ft
Most přes řeku Styx Quirin Jedlička / Puha kötésű
common.buy 2 695 Ft
Storytelling Phebe Cramer / Kemény kötésű
common.buy 41 862 Ft
Comparative Constitutional Design Tom Ginsburg / Puha kötésű
common.buy 24 494 Ft
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Kemény kötésű
common.buy 78 892 Ft
Visit to the Farm Michael Morpurgo / Puha kötésű
common.buy 3 633 Ft
Desire for Society H. G. Furth / Kemény kötésű
common.buy 51 279 Ft
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Puha kötésű
common.buy 12 941 Ft
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Puha kötésű
common.buy 6 203 Ft

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 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ő Barbara Jobstmann, K. Rustan M. Leino
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 558
EAN 9783662491218
ISBN 3662491214
Libristo kód 02862913
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 866
Méretek 155 x 235 x 30

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 programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány > Szoftvertesztelés és verifikáció
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 > 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é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