Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

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

phone

Pomoć

Moj račun

▸ Prazno :-(

0

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Knjiga Automated Technology for Verification and Analysis Bernd Finkbeiner

Automated Technology for Verification and Analysis

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

Bernd Finkbeiner

Jezik

Engleski

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

Libristo kod: 09524362

?

points

125 b

51.68 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

En busca del candidato de Manchuria Marks

/

Meki uvez

25.58 €

Nyx el Regulador 3, Ofidia Corbeyran

/

Meki uvez

19.82 €

Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias

/

Meki uvez

35.70 €

Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer

/

Meki uvez

141.00 €

Meyveler - Sebzeler - Besinler Türkce - Ingilizce

/

Meki uvez

20.12 €

Tajomstvo reči tela Monika Stehlíková

/

Tvrdi uvez

19.21 €

Passages de l'image Knjiga

Knjiga

43.39 €

Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études Knjiga

Meki uvez

25.38 €

Manolito Gafotas Elvira Lindo

/

Meki uvez

6.67 €

Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber

/

Adobe ePub DRM

6.26 €

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

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

/

Meki uvez

51.68 €

Organic Fertilizers Ghazala Yaqub

/

Tvrdi uvez

193.60 €

Becoming a Great Inclusive Educator Scot Danforth

/

Meki uvez

44.30 €

Contemporary Legend Gillian Bennett

/

Meki uvez

73.13 €

Ladybird: of Love and Honor Samantha Livingston

/

Tvrdi uvez

34.48 €

Theorizing Globalization Marko Ampuja

/

Tvrdi uvez

238.22 €

Eloise at the Wedding Margaret McNamara

/

Tvrdi uvez

14.25 €

Rethinking Hell Christopher M. Date

/

Tvrdi uvez

54.01 €

Letter to the Right Honourable Charles Jenkinson John Almon

/

Meki uvez

11.72 €

In the Rocky Mountains: A Tale of Adventure W H G Kingston

/

Meki uvez

35.39 €

Little Blue Truck Leads the Way Alice Schertle

/

Tvrdi uvez

15.77 €

New and Experimental Approaches to Writing Lives Hugh Craig

/

Tvrdi uvez

121.28 €

The Divine Comedy of Dante Alighieri James Innes Minchin

/

Meki uvez

28.52 €

Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw

/

Meki uvez

15.77 €

Forced Conversion Donald J Bingle

/

Meki uvez

14.86 €

Advanced Python Development Matthew Wilkes

/

Meki uvez

41.46 €

Cones Visit the Children's Hospital Chris Madeley

/

Meki uvez

13.75 €

The Sacred Interpreter V1: Or, a Practical Introduction Towards a Beneficial Reading and a Thorough Understanding of the Holy Bible David Collyer

/

Meki uvez

38.23 €

China from a U.S. Policy Perspective Heikkila

/

Meki uvez

61.70 €

History of Creole Trinidad, 1956-2010 Raymond Ramcharitar

/

Tvrdi uvez

148.69 €

Bird Populations Ian Newton

/

Adobe ePub DRM

53.40 €

Literary Channel Margaret Cohen

/

Adobe ePub DRM

51.78 €

AMERICAN FOOTBALL CARDS 1888-1988 Arne Flaten

/

Tvrdi uvez

56.23 €

Geometrical Pictures In Hadronic Collisions: A Reprint Volume S. Y. Lo

/

Meki uvez

115.61 €

Književni savjetnik Libroamiko

Dobar dan, ja sam Libroamiko, mogu li vam pomoći?