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

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Natasha Sharygina
Kod Libristo: 02075327
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... 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

I ja sam tu, uz vas Smriti Halls / Książka Twarda
common.buy 58.31 zł
Vie Abregee Du T. H. Frere Polycarpe / Książka Miękka
common.buy 65.84 zł
La société patriarcale face à la résistance des femmes Resta / Książka Miękka
common.buy 146.25 zł
Kumulyativnye Zaryady Oleg Minin / Książka Miękka
common.buy 339.19 zł
Lebensfunken Akin Yildiz / Książka Miękka
common.buy 45.57 zł
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Książka Miękka
common.buy 68.45 zł
La enzima para rejuvenecer HIROMI SHINYA / Książka Miękka
common.buy 55.00 zł
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Książka Miękka
common.buy 181.69 zł
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Książka Miękka
common.buy 65.84 zł
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Książka Twarda
common.buy 130.69 zł
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Książka Miękka
common.buy 72.37 zł
Die ewige Philosophie Aldous Huxley / Książka Miękka
common.buy 83.71 zł
Tatort Ägypten Arthur Conan Doyle / Książka Miękka
common.buy 79.70 zł
Zapowiedź
Gittertiere 1. Bd.1 Heidi Schär / Książka Miękka
common.buy 112.62 zł
Zapowiedź
Vegetative Physiologie Gerhard Heldmaier / Książka Twarda
common.buy 213.81 zł
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Książka Miękka
common.buy 382.86 zł

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 1015
EAN 9783642397981
ISBN 3642397980
Kod Libristo 02075327
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1539
Wymiary 155 x 235 x 56

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
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
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ć

Debates in Citizenship Education James Arthur / Książka Miękka
common.buy 249.55 zł
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Książka Miękka
common.buy 43.76 zł
Cambridge Companion to the Musical William A. Everett / Książka Miękka
common.buy 175.56 zł
The Mammals of Israel Walter W. Ferguson / Książka Miękka
common.buy 121.56 zł
Spider Tapestries Mike Allen / Książka Miękka
common.buy 65.84 zł
Glyph* Shiro Nishimoto / Książka Twarda
common.buy 94.96 zł
Khobar Towers Air Force History and Museums Program / Książka Miękka
common.buy 129.49 zł
Dirty Kiss Rhys Ford / Książka Miękka
common.buy 62.73 zł
The Passaic Flood of 1903 Marshall Ora Leighton / Książka Miękka
common.buy 71.26 zł
Defending Objectivity Margaret Archer / Książka Twarda
common.buy 886.49 zł
Compagnie Irlandaise M. W. Kirwan / Książka Miękka
common.buy 102.28 zł
Strategic Networking in Small High Tech Firms Mette Monsted / Książka Miękka
common.buy 150.67 zł
Wizards' Country DAPHNE ROOKE / Książka Miękka
common.buy 59.02 zł
Households as Corporate Firms Krislert Samphantharak / Książka Miękka
common.buy 160.11 zł
Exploring Piano Classics Technique Alfred Publishing / Książka Miękka
common.buy 80.40 zł
The House of Vanity Hamza Laaouamri / Książka Miękka
common.buy 65.74 zł
Inequality in the Digital Economy Andrew White / Książka Miękka
common.buy 585.54 zł
Impressive Robert Klanten / Książka Miękka
common.buy 204.48 zł
Zapowiedź Nowość
The Application of GIS Technologies in the Roman Period Fernandez / Książka Miękka
common.buy 166.23 zł
Decentralization and Development Partnership Fumihiko Saito / Książka Miękka
common.buy 219.03 zł
Parameter Setting Thomas Roeper / Książka Twarda
common.buy 744.85 zł
Environmental History of Medieval Europe Richard Hoffmann / Książka Miękka
common.buy 191.32 zł
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Książka Miękka
common.buy 611.84 zł
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Książka Twarda
common.buy 485.55 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