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ł.

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
447.39 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

La société patriarcale face à la résistance des femmes Resta / Książka Miękka
common.buy 144.71 zł
Lebensfunken Akin Yildiz / Książka Miękka
common.buy 46.66 zł
Vie Abregee Du T. H. Frere Polycarpe / Książka Miękka
common.buy 67.53 zł
MALCOLM X : DE L'EXCLUSIVISME NOIR A LA SPIRITUALITE UNIVERSELLE (JE VEUX CONNAITRE) TARIQ RAMADAN Książka Miękka
common.buy 54.18 zł
Kielikarhu 3. Harjoituskirja A. Saari Elli / Książka Miękka
common.buy 105.97 zł
I ja sam tu, uz vas Smriti Halls / Książka Twarda
common.buy 62.71 zł
My Little Pony. Witaj w Equestrii. Książka z magnesami Praca zbiorowa / Książka Twarda
common.buy 29.39 zł
Deník Henry David Thoreau / Książka Twarda
common.buy 70.24 zł
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Książka Miękka
common.buy 70.24 zł
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780 ROLAND DE LA PLATIER / Książka Miękka
common.buy 126.74 zł
La enzima para rejuvenecer HIROMI SHINYA / Książka Miękka
common.buy 55.89 zł
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Książka Miękka
common.buy 186.22 zł
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Książka Miękka
common.buy 56.69 zł
Kumulyativnye Zaryady Oleg Minin / Książka Miękka
common.buy 347.53 zł
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Książka Miękka
common.buy 73.25 zł
Die ewige Philosophie Aldous Huxley / Książka Miękka
common.buy 85.80 zł
Zapowiedź
Vegetative Physiologie Gerhard Heldmaier / Książka Twarda
common.buy 217.87 zł
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Książka Miękka
common.buy 459.43 zł
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Książka Twarda
common.buy 133.77 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ć

Ecclesiantics: 30 Years of Church Humor Erik Johnson / Książka Miękka
common.buy 44.85 zł
Debates in Citizenship Education James Arthur / Książka Miękka
common.buy 272.77 zł
Wizards' Country DAPHNE ROOKE / Książka Miękka
common.buy 60.28 zł
Strategic Networking in Small High Tech Firms Mette Monsted / Książka Miękka
common.buy 154.04 zł
Compagnie Irlandaise M. W. Kirwan / Książka Miękka
common.buy 90.11 zł
Defending Objectivity Margaret Archer / Książka Twarda
common.buy 1 061.79 zł
The Mammals of Israel Walter W. Ferguson / Książka Miękka
common.buy 124.64 zł
Dirty Kiss Rhys Ford / Książka Miękka
common.buy 65.73 zł
Khobar Towers Air Force History and Museums Program / Książka Miękka
common.buy 111.69 zł
Households as Corporate Firms Krislert Samphantharak / Książka Miękka
common.buy 165.98 zł
Glyph* Shiro Nishimoto / Książka Twarda
common.buy 92.12 zł
American Paint Horse Glynn W. Haynes / Książka Miękka
common.buy 129.85 zł
Spider Tapestries Mike Allen / Książka Miękka
common.buy 55.69 zł
Witch Stories E. Lynn Linton / Książka Twarda
common.buy 223.78 zł
Leisure, Activism, and the Animation of the Urban Environment I R Lamond / E-book Adobe ePub DRM
common.buy 269.26 zł
Cambridge Companion to the Musical William A. Everett / Książka Miękka
common.buy 200.41 zł
Some Mathematical Aspects of Inverse Thermoelastic Problems Kirtiwant Ghadle / Książka Miękka
common.buy 297.56 zł
The House of Vanity Hamza Laaouamri / Książka Miękka
common.buy 67.33 zł
Inequality in the Digital Economy Andrew White / Książka Miękka
common.buy 600.04 zł
The Application of GIS Technologies in the Roman Period Fernandez / Książka Miękka
common.buy 165.98 zł
Impressive Robert Klanten / Książka Miękka
common.buy 204.52 zł
Decentralization and Development Partnership Fumihiko Saito / Książka Miękka
common.buy 224.29 zł
Parameter Setting Thomas Roeper / Książka Twarda
common.buy 711.34 zł
Environmental History of Medieval Europe Richard Hoffmann / Książka Miękka
common.buy 196.09 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?