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

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

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

30 dni na zwrot towaru

Klienci kupili także

TNM Atlas 7e JD Brierley / Książka Miękka
common.buy 436.19 zł
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Książka Miękka
common.buy 36.93 zł
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Książka Twarda
common.buy 42.24 zł
Cosa Nostra John Dickie / Książka Miękka
common.buy 61.62 zł
Zapowiedź
Praha mapa turistických zajímavostí / Prasa Mapa
common.buy 10.83 zł
PALINODIE Giacomo LEOPARDI / Książka Miękka
common.buy 41.14 zł
Fêtes et Chansons anciennes de la Chine Marcel Granet / Książka Miękka
common.buy 138.20 zł
Maison la plus grande du monde (La) LIONNI / Książka Miękka
common.buy 38.53 zł
Adolescence, maltraitance et placement Van Hooland / Książka Miękka
common.buy 81.99 zł
Offizielle Softballregeln 2018-2021 Thomas Haller / Książka Miękka
common.buy 31.20 zł
Código de insolvencias empresariales Rodriguez Achutegui / Książka Miękka
common.buy 330.10 zł
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Książka Miękka
common.buy 49.57 zł
Tanie
Harry Potter Tvory a netvory Jody Revenson / Książka Twarda
common.buy 75.47 zł

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Rajeev Alur, Doron A. Peled
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 536
EAN 9783540223429
ISBN 3540223428
Kod Libristo 01559563
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1700
Wymiary 155 x 233 x 30

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Neuroeconomics MARTIN REUTER / Książka Miękka
common.buy 697.75 zł
Second Language Teacher Education Diane J. Tedick / Książka Miękka
common.buy 393.43 zł
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Książka Miękka
common.buy 70.05 zł
Tanie
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Książka Miękka
common.buy 9.53 zł
Chasing Time F I Goldhaber / Książka Miękka
common.buy 45.76 zł
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Książka Miękka
common.buy 136.09 zł
More Than Words Vernon Logan / Książka Miękka
common.buy 72.56 zł
Stories of Animal Sagacity W. H. G. Kingston / Książka Miękka
common.buy 83.60 zł
Happiness Andy Cope / Książka Twarda
common.buy 66.94 zł
Maria The Monarch Homero Aridjis / Książka Miękka
common.buy 51.28 zł
Women Who Move Mountains Sue Detweiler / Książka Miękka
common.buy 66.94 zł
Church of England - Charity Law and Human Rights Kerry O'Halloran / Książka Miękka
common.buy 436.59 zł
TOP
Devil's Reign Zdarsky / Książka Miękka
common.buy 114.91 zł
Operatic China D. Lei / Książka Miękka
common.buy 369.34 zł
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Książka Twarda
common.buy 138.60 zł
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Książka Miękka
common.buy 218.09 zł
Interpretations of Native North American Life Michael S. Nassaney / Książka Miękka
common.buy 118.22 zł
Generations on the Land Joe Nick Patoski / Książka Twarda
common.buy 96.84 zł
Making Schools Different Kitty te Riele / Książka Twarda
common.buy 510.36 zł
Pure Cute Beverly West / Książka Twarda
common.buy 40.94 zł
Swahili Grammar and Workbook Fid?le Mpiranya / Książka Miękka
common.buy 358.40 zł
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Książka Twarda
common.buy 195.71 zł
TOP
Grounded George Brant / Książka Miękka
common.buy 74.06 zł
Beyond Babar Sandra L. Beckett / E-book Adobe ePub DRM
common.buy 400.16 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?