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 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Technology for Verification and Analysis

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

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

Nawet do 30 dni na zwrot

Klienci kupili także

Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Książka Miękka
common.buy 99.49 zł
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 84.91 zł
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Wideo Blu-ray
common.buy 264.52 zł
Preparation A La Mort. 9e Edition Jean Crasset / Książka Miękka
common.buy 75.67 zł
Terror In Taos Chet Cunningham Audiobook MP3
common.buy 110.79 zł
Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Książka Miękka
common.buy 97.13 zł
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Książka Miękka
common.buy 43.53 zł
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Książka Miękka
common.buy 125.06 zł
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Książka Miękka
common.buy 174.05 zł
Viage De Espa?a, Volume 2 Antonio Ponz / Książka Miękka
common.buy 118.70 zł
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Książka Twarda
common.buy 60.58 zł
Amor fou MARTA SANZ / Książka Miękka
common.buy 119.42 zł
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Książka Karta
common.buy 33.47 zł
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Książka Miękka
common.buy 125.78 zł
16 Romantische Welterfolge, 1 Audio-CD arious / Audio CD Audio
common.buy 47.54 zł

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.

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 Susanne Graf, Wenhui Zhang
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 546
EAN 9783540472377
ISBN 3540472371
Kod Libristo 01564910
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1710
Wymiary 155 x 235 x 30

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ć

Guillaume Michael Arno Bender / Książka Miękka
common.buy 103.40 zł
Were- Patricia Bray / Książka Miękka
common.buy 68.28 zł
Anne of Ingleside L M Montgomery / Książka Miękka
common.buy 51.44 zł
The Ash Beneath My Feet Lucia Fudge / Książka Miękka
common.buy 44.04 zł
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Książka Miękka
common.buy 45.48 zł
Nowhere to Hide R. SAMUEL BATY / Książka Miękka
common.buy 39.83 zł
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Książka Twarda
common.buy 148.07 zł
The Supplies of Room Nine Learn to Shine Jessica Lewis / Książka Twarda
common.buy 60.37 zł
Enigma En El Laberinto De Maiz Pedro Tena Tena / Książka Miękka
common.buy 70.43 zł
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Książka Miękka
common.buy 80.29 zł
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Książka Miękka
common.buy 231.55 zł
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Książka Miękka
common.buy 37.78 zł
What's Wrong with the World G. K. Chesterson / Książka Twarda
common.buy 68.48 zł
Antiklotzius (1762) Pieter Burman / Książka Miękka
common.buy 108.63 zł
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Książka Miękka
common.buy 97.34 zł
Zapowiedź
THE WAY OF JESUS Rebecca Pippert / Książka Miękka
common.buy 42.50 zł
TOP
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Książka Twarda
common.buy 166.65 zł
Change and Progress in Modern Science Joseph C. Pitt / Książka Twarda
common.buy 761.73 zł
Perfect Imperfect MCCARTNEY KAREN / Książka Twarda
common.buy 141.80 zł
Beyond the Lettered City Joanne Rappaport / Książka Miękka
common.buy 209.17 zł
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Książka Twarda
common.buy 291.42 zł
Zapowiedź
Dance of the Sleepwalkers Calabria / Książka Twarda
common.buy 195.41 zł
Bring Your Vision To Life Ralph McCall / Książka Miękka
common.buy 39.83 zł
Sexual Politics in the Work of Tennessee Williams Michael S. D. Hooper / Książka Miękka
common.buy 208.65 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?