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

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Automated Technology for Verification and Analysis Tevfik Bultan
Codul Libristo: 01658982
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2011
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Descrierea completă
? points 142 b
305.70 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Love by Kalypso Kalypso / Carte Carte broșată
common.buy 161.82 lei
Anglicky v běžných situacích Jitka Krejčíková / Carte Carte broșată
common.buy 19.91 lei
Les morues Lecoq / Carte Carte broșată
common.buy 144.29 lei
Hausbot Petr Horký / Carte Carte broșată
common.buy 72.40 lei
Benninghoff/Drenckhahn, Anatomie Detlev Drenckhahn / Carte Copertă tare
common.buy 980.51 lei
Sustentos Pixabay - / Carte Carte broșată
common.buy 44.49 lei
Die Christel von der Post, 1 DVD Karl Anton / Videoclip DVD
common.buy 67.21 lei
Kuno Kopfgeldjäger: Erster Band Christian Franz-Josef Vollmer / Carte Carte broșată
common.buy 82.98 lei
Hoerspiel als Widerstand am Beispiel von Todesraten von Elfriede Jelinek und Olga Neuwirth Verena Wiesner / Carte Carte broșată
common.buy 94.60 lei
justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero / Carte Carte broșată
common.buy 236.72 lei
Camden Town Advanced - Globalization and global challenges Katrin Hübschen / Carte Carte broșată
common.buy 128.73 lei
Na Kanadském severu Leoš Šimánek / Carte Copertă tare
common.buy 72.19 lei

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.§The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

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 Tevfik Bultan, Pao-Ann Hsiung
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 532
EAN 9783642243714
ISBN 3642243711
Codul Libristo 01658982
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 764
Dimensiuni 155 x 235 x 30

Categorii

Computing & Information Technology > Computer hardware > Network hardware
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 > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Hudson's Marianne Weldon / Carte Copertă tare
common.buy 136.51 lei
Quantification in the Theory of Grammar Taisuke Nishigauchi / Carte Carte broșată
common.buy 624.07 lei
Contaminated Soil J.W. Assink / Carte Carte broșată
common.buy 567.54 lei
Bear Under The Stairs Helen Cooper / Carte Carte broșată
common.buy 48.64 lei
"Roland" Roger M Hart / Carte Carte broșată
common.buy 106.01 lei
Makeology Erica Halverson / Carte Carte broșată
common.buy 280.39 lei
Play and Other Stories Stephen Dixon / Carte Carte broșată
common.buy 53.31 lei
Poetry 2005 by 6th Grade Students of Fairfield Middle School Ann Gookin / Carte Carte broșată
common.buy 79.97 lei
The Fascinating Bug Book for Kids Krystal Monique Toney / Carte Carte broșată
common.buy 71.46 lei
Science SQC, New Quality Control Principle Kakuro Amasaka / Carte Carte broșată
common.buy 624.07 lei
Alas! Rhoda Broughton / Carte Copertă tare
common.buy 189.00 lei
Teaching a Stone to Talk Annie Dillard / Carte Carte broșată
common.buy 66.07 lei
PLAY EM RIGHT LATIN 2 ERIK VELDKAMP / Carte binding.
common.buy 122.50 lei
Wahoo Sam Crawford: The King of Sluggers Kent Krause / Carte Carte broșată
common.buy 81.22 lei
Unconsolidated Laws of New York - General City Model 772/66 (2018 Edition) The Law Library / Carte Carte broșată
common.buy 105.60 lei
Inhuman Power Nick Dyer-Witheford / Carte Copertă tare
common.buy 603.74 lei
Old-Time Primitive Methodism in Canada, 1829-1884 R. P. Hopper / Carte Carte broșată
common.buy 137.13 lei
Nuclear Import and Export in Plants and Animals Tzvi Tzfira / Carte Copertă tare
common.buy 850.53 lei
Sherlock Holmes Far and Wide Gretchen Altabef / Carte Copertă tare
common.buy 163.07 lei
Formation of English Neo-Classical Thought James William Johnson / Carte Copertă tare
common.buy 780.30 lei
Kitchen-Dweller's Testimony Ladan Osman / Carte Carte broșată
common.buy 71.26 lei
English World 1 Grammar Practice Book Liz Hocking / Carte Carte broșată
common.buy 58.29 lei
Business Lessons from a Radical Industrialist Ray C Anderson / Carte Carte broșată
common.buy 103.93 lei
YOU'VE GOT TO LOSE TO WIN Will Simpson / E-book Adobe ePub DRM
common.buy 98.33 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