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.

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Technology for Verification and Analysis Bernd Finkbeiner
Libristo kód: 09524362
Nakladatelství Springer International Publishing AG, listopad 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

En busca del candidato de Manchuria Marks / Kniha Brožovaná
common.buy 648 Kč
Nyx el Regulador 3, Ofidia Corbeyran / Kniha Brožovaná
common.buy 503 Kč
Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias / Kniha Brožovaná
common.buy 813 Kč
Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer / Kniha Brožovaná
common.buy 3 223 Kč
Meyveler - Sebzeler - Besinler Türkce - Ingilizce / Kniha Brožovaná
common.buy 461 Kč
Tajomstvo reči tela Monika Stehlíková / Kniha Pevná
common.buy 391 Kč
Passages de l'image Kniha Kniha
common.buy 1 097 Kč
Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études Kniha Brožovaná
common.buy 642 Kč
Top
Manolito Gafotas Elvira Lindo / Kniha Brožovaná
common.buy 151 Kč
Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber / E-kniha Adobe ePub DRM
common.buy 160 Kč

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.§§The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.§

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 Automated Technology for Verification and Analysis
Autor Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 520
EAN 9783319249520
ISBN 3319249525
Libristo kód 09524362
Nakladatelství Springer International Publishing AG
Váha 8015
Rozměry 155 x 235 x 30

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
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 > 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
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

Frontiers of Combining Systems Carsten Lutz / Kniha Brožovaná
common.buy 1 182 Kč
Organic Fertilizers Ghazala Yaqub / Kniha Pevná
common.buy 4 472 Kč
Becoming a Great Inclusive Educator Scot Danforth / Kniha Brožovaná
common.buy 1 017 Kč
Contemporary Legend Gillian Bennett / Kniha Brožovaná
common.buy 1 691 Kč
Ladybird: of Love and Honor Samantha Livingston / Kniha Pevná
common.buy 795 Kč
Theorizing Globalization Marko Ampuja / Kniha Pevná
common.buy 5 477 Kč
Eloise at the Wedding Margaret McNamara / Kniha Pevná
common.buy 382 Kč
Rethinking Hell Christopher M. Date / Kniha Pevná
common.buy 1 225 Kč
Letter to the Right Honourable Charles Jenkinson John Almon / Kniha Brožovaná
common.buy 267 Kč
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Kniha Brožovaná
common.buy 815 Kč
Little Blue Truck Leads the Way Alice Schertle / Kniha Pevná
common.buy 334 Kč
New and Experimental Approaches to Writing Lives Hugh Craig / Kniha Pevná
common.buy 2 788 Kč
The Divine Comedy of Dante Alighieri James Innes Minchin / Kniha Brožovaná
common.buy 650 Kč
Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw / Kniha Brožovaná
common.buy 358 Kč
Forced Conversion Donald J Bingle / Kniha Brožovaná
common.buy 340 Kč
Advanced Python Development Matthew Wilkes / Kniha Brožovaná
common.buy 941 Kč
Cones Visit the Children's Hospital Chris Madeley / Kniha Brožovaná
common.buy 316 Kč
The Sacred Interpreter V1: Or, a Practical Introduction Towards a Beneficial Reading and a Thorough Understanding of the Holy Bible David Collyer / Kniha Brožovaná
common.buy 881 Kč
China from a U.S. Policy Perspective Heikkila / Kniha Brožovaná
common.buy 1 428 Kč
History of Creole Trinidad, 1956-2010 Raymond Ramcharitar / Kniha Pevná
common.buy 3 411 Kč
Bird Populations Ian Newton / E-kniha Adobe ePub DRM
common.buy 1 360 Kč
Literary Channel Margaret Cohen / E-kniha Adobe ePub DRM
common.buy 1 429 Kč
Připravujeme
AMERICAN FOOTBALL CARDS 1888-1988 Arne Flaten / Kniha Pevná
common.buy 1 275 Kč
Geometrical Pictures In Hadronic Collisions: A Reprint Volume S. Y. Lo / Kniha Brožovaná
common.buy 2 671 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?