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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Ahmed Bouajjani
Kod Libristo: 01650024
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2009
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Cały opis
? points 249 b
436.67 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek / Książka Miękka
common.buy 47.97 zł
Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga / Książka Miękka
common.buy 72.57 zł
Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner / Książka Twarda
common.buy 128.99 zł
Klekání Francis Jammes / Książka Karta
common.buy 34.82 zł
Modernes Sachsen Ralph Lindner / Książka Miękka
common.buy 88.33 zł
Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi / Książka Miękka
common.buy 248.95 zł
Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder / Książka Miękka
common.buy 56.41 zł
Contos que n?o se contam Rohrig C / Książka Miękka
common.buy 26.29 zł
Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R. / Książka Miękka
common.buy 97.97 zł
El espia que no sabia contar Karlos San Pedro / Książka Miękka
common.buy 52.89 zł
Oheň Jane Caseyová / Książka Twarda
common.buy 45.36 zł
Energie Vaclav Smil / Książka Twarda
common.buy 66.24 zł

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

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 Computer Aided Verification
Autor Ahmed Bouajjani, Oded Maler
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 722
EAN 9783642026577
ISBN 3642026575
Kod Libristo 01650024
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1116
Wymiary 155 x 235 x 40

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

Environmentally Friendly Alkylphosphonate Herbicides Hong-Wu He / Książka Miękka
common.buy 436.67 zł
Parallel and Distributed Computing and Networks Luo Qi / Książka Miękka
common.buy 247.94 zł
Tanie
One Graham Priest / Książka Miękka
common.buy 81.60 zł
Kitsune Nicolette Andrews / Książka Miękka
common.buy 85.72 zł
New York City's Italian Neighborhoods Raymond Guarini / Książka Miękka
common.buy 91.64 zł
Advances in Chitin/Chitosan Characterization and Applications Marguerite Rinaudo / Książka Miękka
common.buy 337.08 zł
Chinese Central Asia Henry Lansdell / Książka Miękka
common.buy 132.50 zł
Democratic Incongruities D. Judge / Książka Miękka
common.buy 226.06 zł
Advanced Penetration Testing for Highly-Secured Environments - Lee Allen / Książka Miękka
common.buy 282.68 zł
Ella Warner US Marshal JL 'DOC' PENDLAND / Książka Miękka
common.buy 81.80 zł
Checkmating Aliens Soma Vira / Książka Miękka
common.buy 45.06 zł
Group Theory for Physicists Zhong-Qi Ma / Książka Miękka
common.buy 184.90 zł
Creation of the Roman Frontier Stephen L. Dyson / Książka Twarda
common.buy 541.47 zł
Autobiographical Statements in Twentieth-Century Russian Literature Jane Gary Harris / Książka Twarda
common.buy 465.38 zł
Cities, Business, and the Politics of Urban Violence in Latin America Eduardo Moncada / Książka Twarda
common.buy 351.44 zł
Molten Salts Chemistry Frederic Lantelme / Książka Twarda
common.buy 841.72 zł
Granular Physics Anita Mehta / Książka Miękka
common.buy 283.88 zł
Color Atlas of Embryology U. Drews / Książka Miękka
common.buy 226.06 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