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
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

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 222 b
90.79 € včetně DPH
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

TNM Atlas 7e JD Brierley / Książka Miękka
common.buy 97.90 €
Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm Gra/Zabawka Zabawka
common.buy 21.39 €
Cosa Nostra John Dickie / Książka Miękka
common.buy 11.89 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Książka Miękka
common.buy 6.19 €
Praha mapa turistických zajímavostí / Prasa Mapa
common.buy 2.09 €
PALINODIE Giacomo LEOPARDI / Książka Miękka
common.buy 7.59 €
VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR Simon Jacques / Książka Twarda
common.buy 18.29 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Książka Miękka
common.buy 26.39 €
Maison la plus grande du monde (La) LIONNI / Książka Miękka
common.buy 7.19 €
Adolescence, maltraitance et placement Van Hooland / Książka Miękka
common.buy 16.89 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Książka Miękka
common.buy 8.00 €
L'imperatore dei Mondi- Libro Uno (Terra e Acqua) LUCA NAZZARRI / Książka Miękka
common.buy 15.19 €
Lodní kufr Miloš Hoznauer / Książka Twarda
common.buy 7.99 €
Código de insolvencias empresariales Rodriguez Achutegui / Książka Miękka
common.buy 62.89 €
1870 -1871. Vier Bucher deutscher Geschichte Johannes Scherr / Książka Miękka
common.buy 30.90 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Książka Miękka
common.buy 12.90 €
Tanie
Harry Potter Tvory a netvory Jody Revenson / Książka Twarda
common.buy 10.99 €

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 145.09 €
Happiness Andy Cope / Książka Twarda
common.buy 14.29 €
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 27.99 €
Managing the Moon Program NASA History Division / Książka Miękka
common.buy 17.19 €
Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes) Alexandre Dumas / Książka Twarda
common.buy 69.69 €
Operatic China D. Lei / Książka Miękka
common.buy 81.59 €
Taken by the Boss Noah Maddix / Książka Miękka
common.buy 16.19 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Książka Miękka
common.buy 90.79 €
Women Who Move Mountains Sue Detweiler / Książka Miękka
common.buy 12.69 €
Maria The Monarch Homero Aridjis / Książka Miękka
common.buy 11.79 €
Beyond Babar Sandra L. Beckett / E-book Adobe ePub DRM
common.buy 81.09 €
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 43.49 €
Stories of Animal Sagacity W. H. G. Kingston / Książka Miękka
common.buy 17.19 €
More Than Words Vernon Logan / Książka Miękka
common.buy 14.29 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Książka Miękka
common.buy 30.09 €
Chasing Time F I Goldhaber / Książka Miękka
common.buy 8.99 €
TOP
Devil's Reign Zdarsky / Książka Miękka
common.buy 21.69 €
Beginner's Guide to Create Models With CINEMA 4D R18 Studio Ravi Conor / Książka Miękka
common.buy 19.99 €
Tanie
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Książka Miękka
common.buy 2.19 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Książka Miękka
common.buy 13.89 €
Second Language Teacher Education Diane J. Tedick / Książka Miękka
common.buy 83.09 €
Embodying Health Identities A James / Książka Miękka
common.buy 52.09 €
Sensational Butterflies Sticker Book Natural History Museum / Książka Miękka
common.buy 6.79 €
History of Science, History of Text Karine Chemla / Książka Twarda
common.buy 219.89 €

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?