Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification, Model Checking, and Abstract Interpretation

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Libristo kód: 02862913
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Kniha Brožovaná
common.buy 30.07 €
ESTHETIQUE MUSICALE Dubet / Kniha Brožovaná
common.buy 19.54 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Hra/Hračka Hra
common.buy 24.91 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Kniha Brožovaná
common.buy 6.57 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Kniha Brožovaná
common.buy 29.26 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Audio Audio CD
common.buy 17.11 €
Edelweiss Ronnie J. C. / Kniha Brožovaná
common.buy 13.06 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Kniha Brožovaná
common.buy 103.91 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Kniha Brožovaná
common.buy 17.71 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Kniha Brožovaná
common.buy 33.01 €
Antología poética Pedro Salinas / Kniha Brožovaná
common.buy 14.07 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Kniha Brožovaná
common.buy 32.10 €
Most přes řeku Styx Quirin Jedlička / Kniha Brožovaná
common.buy 6.88 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Kniha Brožovaná
common.buy 29.46 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Kniha Brožovaná
common.buy 45.97 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification, Model Checking, and Abstract Interpretation
Autor Barbara Jobstmann, K. Rustan M. Leino
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 558
EAN 9783662491218
ISBN 3662491214
Libristo kód 02862913
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 866
Rozmery 155 x 235 x 30

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo > Testovanie a verifikácia softvéru
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Desire for Society H. G. Furth / Kniha Pevná
common.buy 103.10 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Kniha Pevná
common.buy 15.79 €
International Yearbook of Industrial Statistics 2018 UNIDO / Kniha Pevná
common.buy 387.80 €
Our Nation in Decline Tom Hopper / Kniha Brožovaná
common.buy 6.37 €
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 / Kniha Brožovaná
common.buy 14.68 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Kniha Pevná
common.buy 98.23 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Kniha Pevná
common.buy 122.54 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Kniha Brožovaná
common.buy 18.93 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Kniha Pevná
common.buy 30.07 €
Fanatism Dr Samar / Kniha Brožovaná
common.buy 15.59 €
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Kniha Pevná
common.buy 35.54 €
Storytelling Phebe Cramer / Kniha Pevná
common.buy 90.94 €
Retreat to the Reich Samuel W. Mitcham / Kniha Brožovaná
common.buy 16.70 €
Visit to the Farm Michael Morpurgo / Kniha Brožovaná
common.buy 9.51 €
Maat and Ancient Egyptian Magic Mari Silva / Kniha Pevná
common.buy 23.08 €
Pripravujeme
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Kniha Brožovaná
common.buy 13.16 €
The Awful German Language Mark Twain / Kniha Pevná
common.buy 13.16 €
Night Before Christmas Clement C Moore & Corinne Malvern / Kniha Leporelo
common.buy 6.57 €
Myth of Liberal Ascendancy G Williams Domhoff / Kniha Brožovaná
common.buy 54.07 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Kniha Pevná
common.buy 154.55 €
Comparative Constitutional Design Tom Ginsburg / Kniha Brožovaná
common.buy 61.06 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?