Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Technology for Verification and Analysis

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis Kedar Namjoshi
Libristo kod: 01569366
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2007
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Techn... Cijeli opis
? points 125 b
51.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Vers la maîtrise du monoski et au-del? Tsallen / Knjiga Meki uvez
common.buy 21.88 €
Dirección de la fuerza de ventas ENRIQUE CARLOS DIEZ DE CASTRO / Knjiga Meki uvez
common.buy 35.56 €
Betragtninger Over Den Naturlige Theologie (1805) Frederik Munter / Knjiga Meki uvez
common.buy 35.46 €
Ossigenoterapia iperbarica e lesioni ano-perineali Alaa Nciri / Knjiga Meki uvez
common.buy 39.31 €
Kalinti / Knjiga Meki uvez
common.buy 20.16 €
de la Broncho-Pneumonie Dans La Diphterie Darier-F-J / Knjiga Meki uvez
common.buy 14.79 €
Odsun sovětských vojsk Karel Pecka / Knjiga binding.
common.buy 4.04 €
Geographie von Griechenland Konrad Bursian / Knjiga Meki uvez
common.buy 31.31 €
Ekonomika v souvislostech Jan Vávra / Knjiga Meki uvez
common.buy 6.58 €
Hypersensitiv Sabrina Wallner / Knjiga Meki uvez
common.buy 13.57 €
Studie uber das Leben erfolgreicher Menschen mit Behinderung Siegfried Bachmayer / Knjiga Meki uvez
common.buy 42.86 €
Deutsch-Amerikanisches Verfassungsrechtssymposium 1976. Wilhelm A. Kewenig / Knjiga Meki uvez
common.buy 70.93 €
Schöne Augen Franz Specht / Knjiga List
common.buy 8.60 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Technology for Verification and Analysis
Autor Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2007
Broj stranica 570
EAN 9783540755951
ISBN 3540755950
Libristo kod 01569366
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 884
Dimenzije 155 x 235 x 32

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Virtual Reality Randall Shumaker / Knjiga Meki uvez
common.buy 103.16 €
New GCSE English Language AQA Exam Practice Workbook - includes Answers and Videos CGP Books / Knjiga Meki uvez
common.buy 9.01 €
Pripremamo
On Aunty Jonathan Holmes / Knjiga Meki uvez
common.buy 10.94 €
A Daughter's Guide to Not Going to Jail For Helping Your Mother: Colored Edition Valencia Black / Knjiga Meki uvez
common.buy 14.38 €
The Estonian Dictionary: A Concise English-Estonian Dictionary Rasmus Sepp / Knjiga Meki uvez
common.buy 8.20 €
Colour The Series A Giannoccaro / Knjiga Meki uvez
common.buy 28.37 €
Drivers Peter Carroll / Knjiga Meki uvez
common.buy 12.15 €
Air Fryer Delights Teresa Finney / Knjiga Meki uvez
common.buy 15.80 €
Fair Harbor Joseph C. Lincoln / Knjiga Meki uvez
common.buy 35.46 €
Becoming a Writer David Kherdian / Knjiga Meki uvez
common.buy 15.60 €
Formas JOHN J. REISS / Knjiga Meki uvez
common.buy 17.42 €
Your Place in the Universe Chin / Knjiga Meki uvez
common.buy 7.69 €
Manual of Splinting and Casting Stephen R. Thompson / Knjiga Meki uvez
common.buy 77.22 €
Your History J. A. ROGERS / Knjiga Meki uvez
common.buy 12.56 €
Nightcharmer And Other Tales Of Claude Seignolle Claude Seignolle / Knjiga Meki uvez
common.buy 17.93 €
France as a Maritime Power Adluri Subramanyam Raju / Knjiga Tvrdi uvez
common.buy 199.03 €
Economic and Compliance Consequences of Taxation Patrick J. Caragata / Knjiga Tvrdi uvez
common.buy 109.54 €
Advances in Nonlinear Optics Jie Zhang / Knjiga Tvrdi uvez
common.buy 159.10 €
Unthinking Eurocentrism Ella Shohat & Robert Stam / Knjiga Meki uvez
common.buy 65.97 €
Top
Dust of Dreams Steven Erikson / Knjiga Meki uvez
common.buy 16.00 €
How to Overcome Fear of Driving Joanne Mallon / Knjiga Meki uvez
common.buy 20.36 €
Qualitative Inquiry David Hiles / Knjiga Meki uvez
common.buy 25.02 €
Dividends of Kinship Peter P. Schweitzer / Knjiga Meki uvez
common.buy 61.81 €
Understanding the Law Attorney Charles Jerome Ware / Knjiga Meki uvez
common.buy 17.22 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?