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

Nawet do 30 dni na zwrot

Klienci kupili także

Praha mapa turistických zajímavostí / Prasa Mapa
common.buy 3.09 €
Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm Gra/Zabawka Zabawka
common.buy 21.39 €
Anvande mord som konfliktlosning Diverse / E-book Adobe ePub DRM
common.buy 3.39 €
Cosa Nostra John Dickie / Książka Miękka
common.buy 15.09 €
To i owo tu i tam Strzałkowska Małgorzata / Książka Twarda
common.buy 8.19 €
Couperin & Lalande : Le?ons de T'n?bres / Audio CD Audio
common.buy 23.89 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Książka Miękka
common.buy 7.79 €
Łąka. Odkrywam dźwięki Natalia Kawałko-Dzikowska / Książka Twarda
common.buy 8.69 €
TNM Atlas 7e JD Brierley / Książka Miękka
common.buy 100.29 €
PALINODIE Giacomo LEOPARDI / Książka Miękka
common.buy 8.09 €
VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR Simon Jacques / Książka Twarda
common.buy 20.59 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Książka Miękka
common.buy 29.79 €
Maison la plus grande du monde (La) LIONNI / Książka Miękka
common.buy 7.49 €
Adolescence, maltraitance et placement Van Hooland / Książka Miękka
common.buy 20.19 €
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 18.19 €
Lodní kufr Miloš Hoznauer / Książka Twarda
common.buy 9.59 €
Código de insolvencias empresariales Rodriguez Achutegui / Książka Miękka
common.buy 73.39 €
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 €
TOP
Harry Potter Tvory a netvory Jody Revenson / Książka Twarda
common.buy 31.29 €

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 171.59 €
Chasing Time F I Goldhaber / Książka Miękka
common.buy 10.99 €
Managing the Moon Program NASA History Division / Książka Miękka
common.buy 18.49 €
Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes) Alexandre Dumas / Książka Twarda
common.buy 81.99 €
Operatic China D. Lei / Książka Miękka
common.buy 93.19 €
Bismarck - The Man and the Statesman Otto von Bismarck / Książka Miękka
common.buy 29.89 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Książka Miękka
common.buy 107.29 €
Women Who Move Mountains Sue Detweiler / Książka Miękka
common.buy 15.99 €
Maria The Monarch Homero Aridjis / Książka Miękka
common.buy 11.09 €
Happiness Andy Cope / Książka Twarda
common.buy 15.60 €
Stories of Animal Sagacity W. H. G. Kingston / Książka Miękka
common.buy 20.59 €
More Than Words Vernon Logan / Książka Miękka
common.buy 17.29 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Książka Miękka
common.buy 32.09 €
Encyclopedia of Indian Wars: Western Battles and Skirmishes, 1850-1890 Gregory F. Michno / Książka Miękka
common.buy 23.49 €
Mental Health and Well-being Interventions in Sport Gavin Breslin / E-book Adobe ePub DRM
common.buy 56.51 €
Beginner's Guide to Create Models With CINEMA 4D R18 Studio Ravi Conor / Książka Miękka
common.buy 21.69 €
Treaties in Force 2017: A List of Treaties and Other International Agreements in Force on January 1, 2017 State Dept (U S ) / Książka Miękka
common.buy 65.02 €
Tanie
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Książka Miękka
common.buy 2.19 €
Beyond Babar Sandra L. Beckett / E-book Adobe ePub DRM
common.buy 81.12 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Książka Miękka
common.buy 16.79 €
TOP
Devil's Reign Zdarsky / Książka Miękka
common.buy 27.39 €
Zapowiedź
Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang / Książka Miękka
common.buy 78.39 €
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 51.99 €
Embodying Health Identities A James / Książka Miękka
common.buy 61.99 €

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?