Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Technology for Verification and Analysis

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

Język AngielskiAngielski
Książka Miękka
Książka Automated Technology for Verification and Analysis Kedar Namjoshi
Kod Libristo: 01569366
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2007
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Techn... Cały opis
? points 125 b
222.11 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Vers la maîtrise du monoski et au-del? Tsallen / Książka Miękka
common.buy 93.85 zł
Dirección de la fuerza de ventas ENRIQUE CARLOS DIEZ DE CASTRO / Książka Miękka
common.buy 169.88 zł
Betragtninger Over Den Naturlige Theologie (1805) Frederik Munter / Książka Miękka
common.buy 152.27 zł
Ossigenoterapia iperbarica e lesioni ano-perineali Alaa Nciri / Książka Miękka
common.buy 168.56 zł
Kalinti / Książka Miękka
common.buy 86.52 zł
de la Broncho-Pneumonie Dans La Diphterie Darier-F-J / Książka Miękka
common.buy 59.85 zł
Odsun sovětských vojsk Karel Pecka / Książka binding.
common.buy 18.52 zł
Geographie von Griechenland Konrad Bursian / Książka Miękka
common.buy 134.36 zł
Ekonomika v souvislostech Jan Vávra / Książka Miękka
common.buy 30.22 zł
Hypersensitiv Sabrina Wallner / Książka Miękka
common.buy 58.32 zł
Studie uber das Leben erfolgreicher Menschen mit Behinderung Siegfried Bachmayer / Książka Miękka
common.buy 184.04 zł
Deutsch-Amerikanisches Verfassungsrechtssymposium 1976. Wilhelm A. Kewenig / Książka Miękka
common.buy 320.13 zł
Schöne Augen Franz Specht / Książka Karta
common.buy 36.74 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automated Technology for Verification and Analysis
Autor Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 570
EAN 9783540755951
ISBN 3540755950
Kod Libristo 01569366
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 884
Wymiary 155 x 235 x 32

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Projektowanie wspomagane komputerowo (CAD)
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Virtual Reality Randall Shumaker / Książka Miękka
common.buy 442.80 zł
New GCSE English Language AQA Exam Practice Workbook - includes Answers and Videos CGP Books / Książka Miękka
common.buy 38.77 zł
Zapowiedź
On Aunty Jonathan Holmes / Książka Miękka
common.buy 49.56 zł
A Daughter's Guide to Not Going to Jail For Helping Your Mother: Colored Edition Valencia Black / Książka Miękka
common.buy 61.68 zł
The Estonian Dictionary: A Concise English-Estonian Dictionary Rasmus Sepp / Książka Miękka
common.buy 35.21 zł
Colour The Series A Giannoccaro / Książka Miękka
common.buy 121.84 zł
Drivers Peter Carroll / Książka Miękka
common.buy 52.21 zł
Air Fryer Delights Teresa Finney / Książka Miękka
common.buy 67.89 zł
Fair Harbor Joseph C. Lincoln / Książka Miękka
common.buy 152.27 zł
Becoming a Writer David Kherdian / Książka Miękka
common.buy 66.97 zł
Formas JOHN J. REISS / Książka Miękka
common.buy 82.95 zł
Your Place in the Universe Chin / Książka Miękka
common.buy 33.07 zł
Manual of Splinting and Casting Stephen R. Thompson / Książka Miękka
common.buy 340.80 zł
Your History J. A. ROGERS / Książka Miękka
common.buy 54.04 zł
Nightcharmer And Other Tales Of Claude Seignolle Claude Seignolle / Książka Miękka
common.buy 77.15 zł
France as a Maritime Power Adluri Subramanyam Raju / Książka Twarda
common.buy 1 050.41 zł
Economic and Compliance Consequences of Taxation Patrick J. Caragata / Książka Twarda
common.buy 491.96 zł
Advances in Nonlinear Optics Jie Zhang / Książka Twarda
common.buy 682.62 zł
Unthinking Eurocentrism Ella Shohat & Robert Stam / Książka Miękka
common.buy 283.18 zł
TOP
Dust of Dreams Steven Erikson / Książka Miękka
common.buy 73.69 zł
How to Overcome Fear of Driving Joanne Mallon / Książka Miękka
common.buy 87.23 zł
Qualitative Inquiry David Hiles / Książka Miękka
common.buy 113.90 zł
Dividends of Kinship Peter P. Schweitzer / Książka Miękka
common.buy 278.60 zł
Understanding the Law Attorney Charles Jerome Ware / Książka Miękka
common.buy 74.10 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?