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

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

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 145 b
21 008 Ft
Beszállítói készleten alacsony példányszámban Küldés 11-15 napon belül

Akár 30 napos visszaküldési lehetőség

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

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Könyv Puha kötésű
common.buy 11 937 Ft
ESTHETIQUE MUSICALE Dubet / Könyv Puha kötésű
common.buy 6 831 Ft
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Játék Játék
common.buy 9 418 Ft
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Könyv Puha kötésű
common.buy 2 806 Ft
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Könyv Puha kötésű
common.buy 11 576 Ft
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Hanganyagok Audio CD
common.buy 6 352 Ft
Edelweiss Ronnie J. C. / Könyv Puha kötésű
common.buy 5 165 Ft
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Könyv Puha kötésű
common.buy 41 396 Ft
L'Arme invisible: Les Habits Noirs IV Paul Feval / Könyv Puha kötésű
common.buy 7 077 Ft
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Könyv Puha kötésű
common.buy 13 269 Ft
Antología poética Pedro Salinas / Könyv Puha kötésű
common.buy 4 919 Ft
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Könyv Puha kötésű
common.buy 12 297 Ft
Most přes řeku Styx Quirin Jedlička / Könyv Puha kötésű
common.buy 2 505 Ft
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Könyv Puha kötésű
common.buy 11 864 Ft
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Könyv Puha kötésű
common.buy 16 062 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.

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 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é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é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 > 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

Ezt is ajánljuk

Desire for Society H. G. Furth / Könyv Kemény kötésű
common.buy 41 168 Ft
Alien Next Door 6: The Mystery Valentine A. I. Newton / Könyv Kemény kötésű
common.buy 6 019 Ft
International Yearbook of Industrial Statistics 2018 UNIDO / Könyv Kemény kötésű
common.buy 135 581 Ft
Our Nation in Decline Tom Hopper / Könyv Puha kötésű
common.buy 2 560 Ft
Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine / Könyv Puha kötésű
common.buy 6 005 Ft
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Könyv Kemény kötésű
common.buy 36 075 Ft
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Könyv Kemény kötésű
common.buy 49 198 Ft
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Könyv Puha kötésű
common.buy 7 351 Ft
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Könyv Kemény kötésű
common.buy 11 937 Ft
Fanatism Dr Samar / Könyv Puha kötésű
common.buy 6 151 Ft
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Könyv Kemény kötésű
common.buy 14 063 Ft
Storytelling Phebe Cramer / Könyv Kemény kötésű
common.buy 35 436 Ft
Retreat to the Reich Samuel W. Mitcham / Könyv Puha kötésű
common.buy 6 365 Ft
Visit to the Farm Michael Morpurgo / Könyv Puha kötésű
common.buy 3 605 Ft
Maat and Ancient Egyptian Magic Mari Silva / Könyv Kemény kötésű
common.buy 9 477 Ft
Hamarosan
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Könyv Puha kötésű
common.buy 4 572 Ft
The Awful German Language Mark Twain / Könyv Kemény kötésű
common.buy 5 038 Ft
Night Before Christmas Clement C Moore & Corinne Malvern / Könyv Leporelló
common.buy 2 692 Ft
Myth of Liberal Ascendancy G Williams Domhoff / Könyv Puha kötésű
common.buy 21 200 Ft
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Könyv Kemény kötésű
common.buy 63 161 Ft
Comparative Constitutional Design Tom Ginsburg / Könyv Puha kötésű
common.buy 24 047 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?