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 Sameday 24.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

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Automated Technology for Verification and Analysis Kedar Namjoshi
Codul Libristo: 01569366
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2007
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Techn... Descrierea completă
? points 132 b
284.60 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Vers la maîtrise du monoski et au-del? Tsallen / Carte Carte broșată
common.buy 120.76 lei
Dirección de la fuerza de ventas ENRIQUE CARLOS DIEZ DE CASTRO / Carte Carte broșată
common.buy 206.16 lei
Betragtninger Over Den Naturlige Theologie (1805) Frederik Munter / Carte Carte broșată
common.buy 194.23 lei
Ossigenoterapia iperbarica e lesioni ano-perineali Alaa Nciri / Carte Carte broșată
common.buy 216.95 lei
Kalinti / Carte Carte broșată
common.buy 110.81 lei
Daňový sprievodca 2023 s komentárom autorov Kolektív / Carte Carte broșată
common.buy 58.51 lei
de la Broncho-Pneumonie Dans La Diphterie Darier-F-J / Carte Carte broșată
common.buy 90.57 lei
Odsun sovětských vojsk Karel Pecka / Carte binding.
common.buy 22.51 lei
Geographie von Griechenland Konrad Bursian / Carte Carte broșată
common.buy 172.85 lei
Ekonomika v souvislostech Jan Vávra / Carte Carte broșată
common.buy 36.72 lei
Hypersensitiv Sabrina Wallner / Carte Carte broșată
common.buy 75.01 lei
Studie uber das Leben erfolgreicher Menschen mit Behinderung Siegfried Bachmayer / Carte Carte broșată
common.buy 236.77 lei
Deutsch-Amerikanisches Verfassungsrechtssymposium 1976. Wilhelm A. Kewenig / Carte Carte broșată
common.buy 334.72 lei
Schöne Augen Franz Specht / Carte Foaie
common.buy 44.71 lei

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

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 Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 570
EAN 9783540755951
ISBN 3540755950
Codul Libristo 01569366
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 884
Dimensiuni 155 x 235 x 32

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

Virtual Reality Randall Shumaker / Carte Carte broșată
common.buy 567.66 lei
New GCSE English Language AQA Exam Practice Workbook - includes Answers and Videos CGP Books / Carte Carte broșată
common.buy 49.90 lei
Curând
On Aunty Jonathan Holmes / Carte Carte broșată
common.buy 60.27 lei
A Daughter's Guide to Not Going to Jail For Helping Your Mother: Colored Edition Valencia Black / Carte Carte broșată
common.buy 78.85 lei
The Estonian Dictionary: A Concise English-Estonian Dictionary Rasmus Sepp / Carte Carte broșată
common.buy 44.92 lei
Colour The Series A Giannoccaro / Carte Carte broșată
common.buy 155.73 lei
Drivers Peter Carroll / Carte Carte broșată
common.buy 66.71 lei
Air Fryer Delights Teresa Finney / Carte Carte broșată
common.buy 87.46 lei
Fair Harbor Joseph C. Lincoln / Carte Carte broșată
common.buy 194.23 lei
Becoming a Writer David Kherdian / Carte Carte broșată
common.buy 85.38 lei
Formas JOHN J. REISS / Carte Carte broșată
common.buy 100.43 lei
Your Place in the Universe Chin / Carte Carte broșată
common.buy 42.74 lei
Manual of Splinting and Casting Stephen R. Thompson / Carte Carte broșată
common.buy 450.72 lei
Your History J. A. ROGERS / Carte Carte broșată
common.buy 68.47 lei
Nightcharmer And Other Tales Of Claude Seignolle Claude Seignolle / Carte Carte broșată
common.buy 99.18 lei
Nou
France as a Maritime Power Adluri Subramanyam Raju / Carte Copertă tare
common.buy 1 084.90 lei
Economic and Compliance Consequences of Taxation Patrick J. Caragata / Carte Copertă tare
common.buy 599.00 lei
Advances in Nonlinear Optics Jie Zhang / Carte Copertă tare
common.buy 873.75 lei
Unthinking Eurocentrism Ella Shohat & Robert Stam / Carte Carte broșată
common.buy 359.73 lei
Top
Dust of Dreams Steven Erikson / Carte Carte broșată
common.buy 89.43 lei
How to Overcome Fear of Driving Joanne Mallon / Carte Carte broșată
common.buy 111.22 lei
Qualitative Inquiry David Hiles / Carte Carte broșată
common.buy 137.16 lei
Dividends of Kinship Peter P. Schweitzer / Carte Carte broșată
common.buy 337.10 lei
Understanding the Law Attorney Charles Jerome Ware / Carte Carte broșată
common.buy 95.76 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?