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

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Tayssir Touili
Kod Libristo: 01656210
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Cały opis
? points 243 b
Gwarancja
najlepszej
ceny ▸
99.19 € včetně DPH
Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Książka Miękka
common.buy 45.59 €
Plastic Hearts Miley Cyrus / Audio CD Audio
common.buy 18.99 €
Luoghi e itinerari della riviera del Brenta e del Miranese / Książka Miękka
common.buy 15.99 €
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Książka Twarda
common.buy 19.69 €
A Business Proposal n? 03 Narak / Książka Miękka
common.buy 16.69 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Gra/Zabawka Zabawka
common.buy 3.89 €
Vitametrie® Joachim Heuser / Książka Miękka
common.buy 15.99 €
REVISTA MONGOLIA 40 ENERO 2016 Książka binding.
common.buy 3.89 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Książka Miękka
common.buy 15.29 €
Všetko o kúpeľni collegium / Książka Miękka
common.buy 2.79 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Książka Miękka
common.buy 79.99 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Książka Miękka
common.buy 44.90 €
Hermann von Salza Heinrich Hävernick / Książka Miękka
common.buy 24.90 €
Borkum einst und jetzt B. Huismann / Książka Miękka
common.buy 17.90 €
Ein Verfahren zur reportbasierten Diagnose von technischen Maschinenstörungen in der Instandhaltung Walter Wincheringer / Książka Miękka
common.buy 54.99 €
Israel Gerrit Michel / Książka Miękka
common.buy 49.00 €
Oekonomische Analyse Der Religion Christian Eilinghoff / Książka Miękka
common.buy 73.25 €
Orta in giallo Erica Gibogini / Książka Miękka
common.buy 14.29 €
El origen de la célula Lynn Margulis / Książka Miękka
common.buy 16.29 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Książka Miękka
common.buy 38.99 €
Cesta k rovnováze Pavel Kohout / Książka Miękka
common.buy 5.49 €
Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Książka Miękka
common.buy 160.89 €
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Książka Miękka
common.buy 12.39 €
Inklusive Schule und Vielfalt Gottfried Biewer / Książka Miękka
common.buy 25.00 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Tayssir Touili, Byron Cook, Paul Jackson
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 676
EAN 9783642142949
ISBN 364214294X
Kod Libristo 01656210
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 961
Wymiary 155 x 238 x 28

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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
Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne
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ć

Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Książka Twarda
common.buy 99.79 €
Spatial Analysis and GeoComputation Manfred M. Fischer / Książka Miękka
common.buy 90.79 €
Research in Computational Molecular Biology Benny Chor / Książka Miękka
common.buy 47.99 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Książka Miękka
common.buy 38.09 €
It's Only Me John Underwood / E-book Adobe ePub DRM
common.buy 20.49 €
Vtt Example Joint Author / Książka Miękka
common.buy 15.99 €
BAROQUE SPIRIT THE BOOK 1 NANCY EDITO BACHUS / Książka Miękka
common.buy 12.49 €
Euro-Orientalism Ezequiel Adamovsky / Książka Miękka
common.buy 79.29 €
French Food At Home Laura Calder / Książka Miękka
common.buy 12.69 €
Golden Chain Algis Uzdavinys / E-book Adobe ePub DRM
common.buy 10.79 €
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-book Adobe ePub DRM
common.buy 10.79 €
Pale Horse Rider Mark Jacobson / E-book Adobe ePub DRM
common.buy 15.49 €
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Książka Miękka
common.buy 18.79 €
Laparoscopic Colorectal Surgery Mark Coleman / Książka Twarda
common.buy 260.29 €
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Książka Miękka
common.buy 14.19 €
TOP
Moult and Ageing of European Passerines Lukas Jenni / Książka Twarda
common.buy 73.39 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Książka Miękka
common.buy 7.19 €
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Książka Miękka
common.buy 8.69 €
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Książka Miękka
common.buy 7.19 €
Double Exposure: A Twin Autobiography Thelma Furness / Książka Twarda
common.buy 41.89 €
The Proverbs and Epigrams of John Heywood, A.D. 1562 John Heywood / Książka Twarda
common.buy 35.49 €
Ink Stained Hands Jennifer Rapp / Książka Miękka
common.buy 15.39 €
C++ Reactive Programming Peter Abraham / Książka Miękka
common.buy 41.89 €
Practical Guide to Managing Clinical Trials Pfeiffer / Książka Miękka
common.buy 61.79 €

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