Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Automated Technology for Verification and Analysis

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

Limba englezăengleză
Carte Carte broșată
Carte Automated Technology for Verification and Analysis Bernd Finkbeiner
Codul Libristo: 09524362
Editura Springer International Publishing AG, noiembrie 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Descrierea completă
? points 125 b
274.23 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Passages de l'image Carte Carte
common.buy 234.06 lei
Dessiner les chevaux et les poneys Picavet / Carte Copertă tare
common.buy 118.58 lei
Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études / Carte Carte broșată
common.buy 128.02 lei
Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber / E-book Adobe ePub DRM
common.buy 35.14 lei
Tajomstvo reči tela Monika Stehlíková / Carte Copertă tare
common.buy 107.54 lei
Meyveler - Sebzeler - Besinler Türkce - Ingilizce / Carte Carte broșată
common.buy 112.58 lei
Nyx el Regulador 3, Ofidia Corbeyran / Carte Carte broșată
common.buy 109.55 lei
Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias / Carte Carte broșată
common.buy 189.28 lei
Rainbow 01 Abe / Carte Carte broșată
common.buy 74.00 lei
En busca del candidato de Manchuria Marks / Carte Carte broșată
common.buy 141.58 lei
Manolito Gafotas Elvira Lindo / Carte Carte broșată
common.buy 48.99 lei
Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer / Carte Carte broșată
common.buy 948.23 lei
Beaucoup de bruit pour rien Shakespeare / Carte Carte broșată
common.buy 29.21 lei
Dialoge Stanislaw Lem / Carte Carte broșată
common.buy 101.21 lei
Bielenie Eva Pariláková / Carte Copertă tare
common.buy 27.40 lei
Weihnachtsmann-Malbuch 1 Nick Snels / Carte Carte broșată
common.buy 59.04 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Automated Technology for Verification and Analysis
Autor Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 520
EAN 9783319249520
ISBN 3319249525
Codul Libristo 09524362
Editura Springer International Publishing AG
Greutatea 8015
Dimensiuni 155 x 235 x 30

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Frontiers of Combining Systems Carsten Lutz / Carte Carte broșată
common.buy 274.23 lei
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Carte Carte broșată
common.buy 202.43 lei
Comprehensive Review in Clinical Neurology Esteban Cheng-Ching / Carte Carte broșată
common.buy 581.51 lei
Becoming a Great Inclusive Educator Scot Danforth / Carte Carte broșată
common.buy 216.49 lei
Ladybird: of Love and Honor Samantha Livingston / Carte Copertă tare
common.buy 197.31 lei
Little Blue Truck Leads the Way Alice Schertle / Carte Copertă tare
common.buy 91.57 lei
History of Creole Trinidad, 1956-2010 Raymond Ramcharitar / Carte Copertă tare
common.buy 775.41 lei
Eloise at the Wedding Margaret McNamara / Carte Copertă tare
common.buy 93.71 lei
Rethinking Hell Christopher M. Date / Carte Copertă tare
common.buy 312.79 lei
FUNDAMENTALS JAMES CURNOW / Carte binding.
common.buy 161.36 lei
Letter to the Right Honourable Charles Jenkinson John Almon / Carte Carte broșată
common.buy 62.15 lei
The Poets and Poetry of the Bible George Gilfillan / Carte Carte broșată
common.buy 202.43 lei
Contemporary Legend Gillian Bennett / Carte Carte broșată
common.buy 416.92 lei
The Golden Years Through Thick and Thin Elroy W Johnson / Carte Carte broșată
common.buy 43.67 lei
Piano ABC's - Level One: Beginning at the Beginning Beverly Grace Joy / Carte Carte broșată
common.buy 80.32 lei
China from a U.S. Policy Perspective Heikkila / Carte Carte broșată
common.buy 369.42 lei
An analysis of the protagonists' mad behaviour in Jean Rhys' "Wide Sargasso Sea" in Hegelian Terms Janine Evangelista / Carte Carte broșată
common.buy 90.87 lei
Doctor Who - Der Erste Doktor: Die Daleks (Digipack-Edition) William Hartnell / Videoclip DVD
common.buy 203.24 lei
Organic Fertilizers Ghazala Yaqub / Carte Copertă tare
common.buy 1 034.29 lei
New and Experimental Approaches to Writing Lives Hugh Craig / Carte Copertă tare
common.buy 636.63 lei
The Divine Comedy of Dante Alighieri James Innes Minchin / Carte Carte broșată
common.buy 151.72 lei
Top
Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw / Carte Carte broșată
common.buy 91.57 lei
Forced Conversion Donald J Bingle / Carte Carte broșată
common.buy 84.94 lei
Deep Learning for Beginners STEVEN COOPER / Carte Copertă tare
common.buy 121.39 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?