Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinec 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Barbara Jobstmann, K. Rustan M. Leino
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 558
EAN 9783662491218
ISBN 3662491214
Libristo kód 02862913
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 866
Rozměry 155 x 235 x 30

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Desire for Society H. G. Furth / Kniha Pevná
common.buy 2 357 Kč
Alien Next Door 6: The Mystery Valentine A. I. Newton / Kniha Pevná
common.buy 361 Kč
International Yearbook of Industrial Statistics 2018 UNIDO / Kniha Pevná
common.buy 9 372 Kč
Our Nation in Decline Tom Hopper / Kniha Brožovaná
common.buy 155 Kč
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 354 Kč
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Kniha Pevná
common.buy 2 255 Kč
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Kniha Pevná
common.buy 2 962 Kč
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Kniha Brožovaná
common.buy 458 Kč
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Kniha Pevná
common.buy 728 Kč
Fanatism Dr Samar / Kniha Brožovaná
common.buy 377 Kč
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Kniha Pevná
common.buy 858 Kč
Storytelling Phebe Cramer / Kniha Pevná
common.buy 2 197 Kč
Retreat to the Reich Samuel W. Mitcham / Kniha Brožovaná
common.buy 382 Kč
Visit to the Farm Michael Morpurgo / Kniha Brožovaná
common.buy 220 Kč
Maat and Ancient Egyptian Magic Mari Silva / Kniha Pevná
common.buy 558 Kč
Připravujeme
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Kniha Brožovaná
common.buy 317 Kč
The Awful German Language Mark Twain / Kniha Pevná
common.buy 298 Kč
Night Before Christmas Clement C Moore & Corinne Malvern / Kniha Leporelo
common.buy 158 Kč
Myth of Liberal Ascendancy G Williams Domhoff / Kniha Brožovaná
common.buy 1 308 Kč
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Kniha Pevná
common.buy 3 532 Kč
Comparative Constitutional Design Tom Ginsburg / Kniha Brožovaná
common.buy 1 476 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet