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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer International Publishing AG, november 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 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 Automated Technology for Verification and Analysis
Autor Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 520
EAN 9783319249520
ISBN 3319249525
Libristo kód 09524362
Nakladateľstvo Springer International Publishing AG
Váha 8015
Rozmery 155 x 235 x 30

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
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 > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
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
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
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ť

Frontiers of Combining Systems Carsten Lutz / Kniha Brožovaná
common.buy 51.75 €
Organic Fertilizers Ghazala Yaqub / Kniha Pevná
common.buy 193.85 €
Becoming a Great Inclusive Educator Scot Danforth / Kniha Brožovaná
common.buy 44.35 €
Contemporary Legend Gillian Bennett / Kniha Brožovaná
common.buy 69.98 €
Ladybird: of Love and Honor Samantha Livingston / Kniha Pevná
common.buy 32.91 €
Theorizing Globalization Marko Ampuja / Kniha Pevná
common.buy 238.51 €
Eloise at the Wedding Margaret McNamara / Kniha Pevná
common.buy 16.70 €
Rethinking Hell Christopher M. Date / Kniha Pevná
common.buy 50.73 €
Letter to the Right Honourable Charles Jenkinson John Almon / Kniha Brožovaná
common.buy 11.74 €
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Kniha Brožovaná
common.buy 33.72 €
Little Blue Truck Leads the Way Alice Schertle / Kniha Pevná
common.buy 14.78 €
New and Experimental Approaches to Writing Lives Hugh Craig / Kniha Pevná
common.buy 121.43 €
The Divine Comedy of Dante Alighieri James Innes Minchin / Kniha Brožovaná
common.buy 28.55 €
Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw / Kniha Brožovaná
common.buy 14.78 €
Forced Conversion Donald J Bingle / Kniha Brožovaná
common.buy 14.07 €
Advanced Python Development Matthew Wilkes / Kniha Brožovaná
common.buy 38.88 €
Cones Visit the Children's Hospital Chris Madeley / Kniha Brožovaná
common.buy 13.06 €
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 36.45 €
China from a U.S. Policy Perspective Heikkila / Kniha Brožovaná
common.buy 59.04 €
History of Creole Trinidad, 1956-2010 Raymond Ramcharitar / Kniha Pevná
common.buy 148.88 €
Bird Populations Ian Newton / E-kniha Adobe ePub DRM
common.buy 56.10 €
Literary Channel Margaret Cohen / E-kniha Adobe ePub DRM
common.buy 58.63 €
Pripravujeme
AMERICAN FOOTBALL CARDS 1888-1988 Arne Flaten / Kniha Pevná
common.buy 52.76 €
Geometrical Pictures In Hadronic Collisions: A Reprint Volume S. Y. Lo / Kniha Brožovaná
common.buy 115.76 €

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ť?