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 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Automated Technology for Verification and Analysis

Limba englezăengleză
Carte Carte broșată
Carte Automated Technology for Verification and Analysis Deepak D'Souza
Codul Libristo: 18124989
Editura Springer International Publishing AG, octombrie 2017
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec... Descrierea completă
? points 132 b
285.59 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Callia l'Ateniese Giovanni Marginesu / Carte Copertă tare
common.buy 355.35 lei
parfum des iles Borromees René Boylesve / Carte Copertă tare
common.buy 124.20 lei
Die Prüfung elektrischer Maschinen Werner Nürnberg / Carte Carte broșată
common.buy 2 053.75 lei
Foukni a rozsviť - Hurá, sněží! Maria Hoeck / Carte Cărți pliante
common.buy 74.75 lei
Joyeuse Bande D'Atzavara(la) Manuel Vzquez / Carte Carte broșată
common.buy 56.63 lei
Heartburn Ursula Ga?l / Carte Carte broșată
common.buy 63.29 lei
LA PIEGE - THE TRAP ICKE DAVID / Carte Carte
common.buy 149.61 lei
Genetika pri neprawil'nom prikuse Punit Batra / Carte Carte broșată
common.buy 178.03 lei
Aaltje Nieuw Nederlandsch Kookboek: Achtfiende Geheel Opnieuw Bewerkte Druk Van aaltje De Volmaakte En Zuinige Keukenmeid.... O. A. Corver / Carte Copertă tare
common.buy 173.87 lei
Colores MARTIN MARTINEZ / Carte Copertă tare
common.buy 24.25 lei
Možnosť ostrova Michel Houellebecq / Carte Copertă tare
common.buy 87.55 lei
Marin Perdu En Mer Jouanneau / Carte Carte broșată
common.buy 96.51 lei
UE1 - Physiologie Gay-Queheillard / Carte Carte broșată
common.buy 98.38 lei
Voytek Kurtyka - L'Art de la liberté Bernadette Mcdonald / Carte Copertă tare
common.buy 349.73 lei
PIXEL MATHS TERM S OBLIG PROF Jean-Pierre Bouvier / Carte Carte broșată
common.buy 138.99 lei
Tchisso ou le révolté Ngako sebastien / Carte Carte broșată
common.buy 77.87 lei
vagabundito Maira Leticia Rivera Pinto / Carte Carte broșată
common.buy 47.05 lei
Sicilia Nel 1876 ... Libro Primo. (L. F. Condizioni Politiche E Amministrative. Libro Secondo. S. Sonnino. I Contadini.). Leopoldo Franchetti / Carte Carte broșată
common.buy 148.05 lei

This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

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 Deepak D'Souza, K. Narayan Kumar
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 482
EAN 9783319681665
ISBN 3319681664
Codul Libristo 18124989
Editura Springer International Publishing AG
Greutatea 7548
Dimensiuni 155 x 235 x 30

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications
Computing & Information Technology > Computer science
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

Baby Animals Coloring Book 3 Nick Snels / Carte Carte broșată
common.buy 57.05 lei
Autumn Susan M. Felch / Carte Carte broșată
common.buy 79.75 lei
Carmen's Song Michael Harris / Carte Carte broșată
common.buy 67.88 lei
Soups & Sides for Every Season Alyce Morgan / Carte Carte broșată
common.buy 91.72 lei
Every Place Is Holy Ground: When Religion Is Not Enough Richard Venus / Carte Carte broșată
common.buy 81.52 lei
Algernon Charles Swinburne Evangelista Maxwell / Carte Copertă tare
common.buy 838.46 lei
Robin Hood-Freedom's Outlaw I a Watson / Carte Carte broșată
common.buy 91.72 lei
Dr Chester's Spoken English for Chinese Speakers: Numbers Dr Myrvin F Chester / Carte Carte broșată
common.buy 57.05 lei
Menopause to Matrimony Shelly Hickman / Carte Carte broșată
common.buy 52.05 lei
Ars Rhetorica; or, a Compendium of Rhetoric T. B. / Carte Copertă tare
common.buy 163.67 lei
Township Violence and the End of Apartheid Gary Kynoch / Carte Copertă tare
common.buy 719.87 lei
Fastitocalon. Studies in Fantasticism Ancient to Modern (VIII, 1 & 2) Lukasz Neubauer / Carte Carte broșată
common.buy 142.01 lei
The Sea-Brownie Reader, Part 2: For Second-Year Classes (1911) John Walter Davis / Carte Carte broșată
common.buy 168.87 lei
Hebrew Psalter William Digby Seymour / Carte Carte broșată
common.buy 142.84 lei
Delorme Atlas & Gazetteer: Alabama / Materiale tipărite Hartă
common.buy 125.77 lei
Bleacher Report KING KENNA / Carte Carte broșată
common.buy 83.91 lei
Forestville Penny Hutten / Carte Carte broșată
common.buy 109.31 lei
Forbidden Music Michael Haas / Carte Carte broșată
common.buy 115.77 lei
Warcraft Daniel Wallace / Carte Copertă tare
common.buy 180.22 lei
Smart Face Thomas Goodman / Carte Carte broșată
common.buy 81.72 lei
Oxygen in Catalysis Jerzy Haber / Carte Copertă tare
common.buy 2 566.54 lei
War and the City G. J. Ashworth / Carte Copertă tare
common.buy 1 514.93 lei
Negotiation of Personal Identity Meena Dhanda / Carte Carte broșată
common.buy 451.66 lei
12 Principles to Wellness Eleanor R / Carte Carte broșată
common.buy 55.28 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?