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

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Automated Technology for Verification and Analysis Susanne Graf
Codul Libristo: 01564910
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2006
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec... Descrierea completă
? points 132 b
285.16 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Carte Carte broșată
common.buy 119.96 lei
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Calendar / Agendă Calendar
common.buy 108.63 lei
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Videoclip Blu-ray
common.buy 334.64 lei
Preparation A La Mort. 9e Edition Jean Crasset / Carte Carte broșată
common.buy 95.95 lei
Terror In Taos Chet Cunningham Audiobook MP3
common.buy 133.79 lei
Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Carte Carte broșată
common.buy 124.22 lei
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Carte Carte broșată
common.buy 65.59 lei
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Carte Carte broșată
common.buy 160.40 lei
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Carte Carte broșată
common.buy 220.39 lei
Viage De Espa?a, Volume 2 Antonio Ponz / Carte Carte broșată
common.buy 152.40 lei
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Carte Copertă tare
common.buy 77.23 lei
Amor fou MARTA SANZ / Carte Carte broșată
common.buy 143.98 lei
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Carte Foaie
common.buy 40.43 lei
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Carte Carte broșată
common.buy 159.99 lei
16 Romantische Welterfolge, 1 Audio-CD arious / Audio Audio CD
common.buy 60.18 lei

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

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 Susanne Graf, Wenhui Zhang
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 546
EAN 9783540472377
ISBN 3540472371
Codul Libristo 01564910
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1710
Dimensiuni 155 x 235 x 30

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
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

Guillaume Michael Arno Bender / Carte Carte broșată
common.buy 131.40 lei
Were- Patricia Bray / Carte Carte broșată
common.buy 86.80 lei
Anne of Ingleside L M Montgomery / Carte Carte broșată
common.buy 66.21 lei
The Ash Beneath My Feet Lucia Fudge / Carte Carte broșată
common.buy 56.03 lei
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Carte Carte broșată
common.buy 57.79 lei
Nowhere to Hide R. SAMUEL BATY / Carte Carte broșată
common.buy 50.83 lei
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Carte Copertă tare
common.buy 186.39 lei
The Supplies of Room Nine Learn to Shine Jessica Lewis / Carte Copertă tare
common.buy 76.82 lei
Enigma En El Laberinto De Maiz Pedro Tena Tena / Carte Carte broșată
common.buy 84.82 lei
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Carte Carte broșată
common.buy 101.56 lei
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Carte Carte broșată
common.buy 296.18 lei
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Carte Carte broșată
common.buy 48.75 lei
What's Wrong with the World G. K. Chesterson / Carte Copertă tare
common.buy 87.63 lei
Antiklotzius (1762) Pieter Burman / Carte Carte broșată
common.buy 137.43 lei
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Carte Carte broșată
common.buy 124.43 lei
Curând
THE WAY OF JESUS Rebecca Pippert / Carte Carte broșată
common.buy 51.35 lei
Top
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Carte Copertă tare
common.buy 213.63 lei
Change and Progress in Modern Science Joseph C. Pitt / Carte Copertă tare
common.buy 920.05 lei
Perfect Imperfect MCCARTNEY KAREN / Carte Copertă tare
common.buy 183.59 lei
Beyond the Lettered City Joanne Rappaport / Carte Carte broșată
common.buy 263.95 lei
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Carte Copertă tare
common.buy 374.15 lei
Curând
Dance of the Sleepwalkers Calabria / Carte Copertă tare
common.buy 236.19 lei
Bring Your Vision To Life Ralph McCall / Carte Carte broșată
common.buy 50.83 lei
Sexual Politics in the Work of Tennessee Williams Michael S. D. Hooper / Carte Carte broșată
common.buy 263.64 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?