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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo kód: 15560990
Nakladatelství Springer International Publishing AG, leden 2017
This book constitutes the refereed proceedings of the 18th 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

Satires Contre Les Astronomes MERCIER-L-S / Kniha Brožovaná
common.buy 315 Kč
MEURTRIERS SANS VISAGE Henning Mankell / Kniha Brožovaná
common.buy 362 Kč
Malvadita Keselman / Audiokniha MP3
common.buy 96 Kč
Os animais tem alma? ERNESTO BOZZANO / Kniha Brožovaná
common.buy 333 Kč
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Kniha Brožovaná
common.buy 168 Kč
Batman - Svět Různí / Kniha Pevná
common.buy 473 Kč
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Kniha Pevná
common.buy 1 559 Kč
Připravujeme
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Kniha Kniha
common.buy 2 105 Kč
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Kniha Brožovaná
common.buy 1 014 Kč
Feelgood-Management Ulrike Weber / Kniha Brožovaná
common.buy 328 Kč
Lehrer sein! Johannes Baumann / Kniha Brožovaná
common.buy 543 Kč
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Kniha Brožovaná
common.buy 1 470 Kč

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.

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 Ahmed Bouajjani, David Monniaux
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 560
EAN 9783319522333
ISBN 3319522337
Libristo kód 15560990
Nakladatelství Springer International Publishing AG
Váha 8657
Rozměry 155 x 235 x 31

Kategorie

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í > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
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

Remaking China's Great Cities Sam Liang / Kniha Pevná
common.buy 5 435 Kč
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-kniha Adobe ePub DRM
common.buy 5 797 Kč
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Kniha Pevná
common.buy 645 Kč
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-kniha Adobe ePub DRM
common.buy 1 218 Kč
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Audiokniha MP3
common.buy 202 Kč
Season's of a Mother's Heart Sally Clarkson / Kniha Brožovaná
common.buy 257 Kč
Připravujeme
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Kniha Pevná
common.buy 3 976 Kč
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Kniha Brožovaná
common.buy 217 Kč
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Kniha Brožovaná
common.buy 425 Kč
Technology, Modernity, and Democracy Eduardo Beira / Kniha Pevná
common.buy 3 676 Kč
Adventures of Hugh Jorgan Rock Harding / Kniha Brožovaná
common.buy 245 Kč
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Kniha Pevná
common.buy 801 Kč
Red Earth Joel Canfield / Kniha Brožovaná
common.buy 467 Kč
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Kniha Brožovaná
common.buy 1 358 Kč
Top
Peppa Pig: Hide and Peek Peppa Pig / Kniha Leporelo
common.buy 161 Kč
Damned If I Do, Dead If I Don't Hannah Bonde / Kniha Brožovaná
common.buy 423 Kč
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Kniha Brožovaná
common.buy 473 Kč
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Kniha Brožovaná
common.buy 445 Kč
Unbounded Chronicles David Schneider / Kniha Brožovaná
common.buy 685 Kč
Animals A-Z Trevor E Coward / Kniha Brožovaná
common.buy 375 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?