Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Technology for Verification and Analysis

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis Bernd Finkbeiner
Libristo kod: 09524362
Nakladnici Springer International Publishing AG, studeni 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Cijeli opis
? points 125 b
51.93 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Meyveler - Sebzeler - Besinler Türkce - Ingilizce / Knjiga Meki uvez
common.buy 20.22 €
Top
Manolito Gafotas Elvira Lindo / Knjiga Meki uvez
common.buy 6.70 €
Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber / E-knjiga Adobe ePub DRM
common.buy 6.29 €
Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer / Knjiga Meki uvez
common.buy 170.03 €
Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études Knjiga Meki uvez
common.buy 25.20 €
Passages de l'image Knjiga Knjiga
common.buy 43.29 €
Dessiner les chevaux et les poneys Picavet / Knjiga Tvrdi uvez
common.buy 21.84 €
Tajomstvo reči tela Monika Stehlíková / Knjiga Tvrdi uvez
common.buy 19.30 €
Nyx el Regulador 3, Ofidia Corbeyran / Knjiga Meki uvez
common.buy 20.01 €
En busca del candidato de Manchuria Marks / Knjiga Meki uvez
common.buy 25.81 €
Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias / Knjiga Meki uvez
common.buy 35.87 €

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.§

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Technology for Verification and Analysis
Autor Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 520
EAN 9783319249520
ISBN 3319249525
Libristo kod 09524362
Nakladnici Springer International Publishing AG
Težina 8015
Dimenzije 155 x 235 x 30

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Frontiers of Combining Systems Carsten Lutz / Knjiga Meki uvez
common.buy 51.93 €
New and Experimental Approaches to Writing Lives Hugh Craig / Knjiga Tvrdi uvez
common.buy 121.86 €
Little Blue Truck Leads the Way Alice Schertle / Knjiga Tvrdi uvez
common.buy 15.85 €
Eloise at the Wedding Margaret McNamara / Knjiga Tvrdi uvez
common.buy 16.76 €
Theorizing Globalization Marko Ampuja / Knjiga Tvrdi uvez
common.buy 239.35 €
FUNDAMENTALS JAMES CURNOW / Knjiga binding.
common.buy 29.57 €
Letter to the Right Honourable Charles Jenkinson John Almon / Knjiga Meki uvez
common.buy 11.78 €
The Poets and Poetry of the Bible George Gilfillan / Knjiga Meki uvez
common.buy 35.56 €
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Knjiga Meki uvez
common.buy 35.56 €
The Golden Years Through Thick and Thin Elroy W Johnson / Knjiga Meki uvez
common.buy 7.71 €
Organic Fertilizers Ghazala Yaqub / Knjiga Tvrdi uvez
common.buy 196.87 €
Rethinking Hell Christopher M. Date / Knjiga Tvrdi uvez
common.buy 54.27 €
The Divine Comedy of Dante Alighieri James Innes Minchin / Knjiga Meki uvez
common.buy 28.65 €
Top
Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw / Knjiga Meki uvez
common.buy 15.85 €
Forced Conversion Donald J Bingle / Knjiga Meki uvez
common.buy 14.93 €
Advanced Python Development Matthew Wilkes / Knjiga Meki uvez
common.buy 41.66 €
Cones Visit the Children's Hospital Chris Madeley / Knjiga Meki uvez
common.buy 13.81 €
The Sacred Interpreter V1: Or, a Practical Introduction Towards a Beneficial Reading and a Thorough Understanding of the Holy Bible David Collyer / Knjiga Meki uvez
common.buy 38.41 €
China from a U.S. Policy Perspective Heikkila / Knjiga Meki uvez
common.buy 65.14 €
History of Creole Trinidad, 1956-2010 Raymond Ramcharitar / Knjiga Tvrdi uvez
common.buy 149.40 €
Bird Populations Ian Newton / E-knjiga Adobe ePub DRM
common.buy 53.35 €
Literary Channel Margaret Cohen / E-knjiga Adobe ePub DRM
common.buy 55.49 €
Top
After Dark Haruki Murakami / Knjiga Tvrdi uvez
common.buy 18.89 €
Pripremamo
AMERICAN FOOTBALL CARDS 1888-1988 Arne Flaten / Knjiga Tvrdi uvez
common.buy 56.50 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun