phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Automated Technology for Verification and Analysis

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 161 b
325 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Manolito Gafotas Elvira Lindo / Carte broșată
common.buy 35 lei
Instructive Modern Chess Masterpieces Igor Stohl / Carte broșată
common.buy 181 lei
curând
Habe ich denn allein gejubelt? Eva Sternheim-Peters / Copertă tare
common.buy 114 lei
Silver: The Spy Who Fooled the Nazis Mihir Bose / Copertă tare
common.buy 146 lei
Deep Black CD Collection: Deep Black, Biowar, Dark Zone Stephen Coonts / Audio CD
common.buy 91 lei
Story of Boston Arthur Gilman / Copertă tare
common.buy 247 lei
Organic Fertilizers Ghazala Yaqub / Copertă tare
common.buy 1.092 lei
Marshall of Santa Fe Ralph Gatlin / Copertă tare
common.buy 181 lei
curând
Domestication of the Savage Mind Jack Goody / Copertă tare
common.buy 206 lei
Contemporary Legend / Carte broșată
common.buy 359 lei
Becoming a Great Inclusive Educator Scot Danforth / Carte broșată
common.buy 344 lei
Lives of the Moghul Emperors HOBART CAUNTER / Copertă tare
common.buy 219 lei
New and Experimental Approaches to Writing Lives Hugh Craig / Copertă tare
common.buy 739 lei
Frontiers of Combining Systems Carsten Lutz / Carte broșată
common.buy 325 lei
High Weald, Royal Tunbridge Wells Ordnance Survey / Hartă
common.buy 96 lei
Ladybird: of Love and Honor Samantha Livingston / Copertă tare
common.buy 195 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.§

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

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