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

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

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

Nawet do 30 dni na zwrot

Klienci kupili także

Aféra Granvillových Una-Mary Parker / Książka Miękka
common.buy 56.07 zł
Langenscheidt Die kulinarische Sprachreise Italienisch / Książka Twarda
common.buy 65.86 zł
HEROIS, MONSTRES I ALTRES MENTIDES DOMINGO MIQUEL / Książka Miękka
common.buy 114.28 zł
Cherry Bomb Tyler / Audio CD Audio
common.buy 66.06 zł
FESTE LIPID-NANOPARTIKEL IN DER WUNDBEHANDLUNG Kanika Dhote / Książka Miękka
common.buy 233.88 zł
Induzione della fioritura nel pomelo mediante paclobutrazolo Mary Tess Mandantes / Książka Miękka
common.buy 153.54 zł
Borges. El Misterio Esencial / Borges. the Essential Mystery Willis Barnstone / Książka Miękka
common.buy 69.42 zł
La reina sola JORGE MOLIST / Książka Miękka
common.buy 56.07 zł
Microfinance: Maitriser les activités des institutions de microfinance Kawele Kouadio / Książka Miękka
common.buy 64.02 zł
Patient Scheidungsfamilie Helmuth Figdor / Książka Miękka
common.buy 134.57 zł
Amazing Spider-Man Návrat ke kořenům Nick Spencer / Książka Miękka
common.buy 62.49 zł
PREMIER DICTIONNAIRE DE BEBE : COULEURS ET FORMES Bout'chou / Książka Miękka
common.buy 25.79 zł
Verdinglichung und schulischer Leistungsprozess. Einfuhrung in die Sozialphilosophie Malte Gerhardt / Książka Miękka
common.buy 69.73 zł
Au Coeur De L'Afrique, 1868-1871 V2: Voyages Et Decouvertes Dans Les Regions Inexplorees De L'Afrique Centrale (1875) Georg August Schweinfurth / Książka Miękka
common.buy 164.75 zł
Nerudův verš Jakub Říha / Książka Miękka
common.buy 23.13 zł
Verordnung über die Berufsausbildung zum Brenner/zur Brennerin Antiphon Verlag / Książka Miękka
common.buy 51.58 zł
Lieder Oswalds von Wolkenstein Burghart Wachinger / Książka Miękka
common.buy 96.44 zł
Etude Sur La Restauration de la Levre Inferieure, Nouveau Procede de M. Letievant BERNARD-A / Książka Miękka
common.buy 66.87 zł
Juegos de ingenio John Katzenbach / Książka Miękka
common.buy 64.73 zł
El Rubius 100% no oficial MARTINA REIS / Książka Miękka
common.buy 60.14 zł
Organizacja procesowa Piotr Grajewski / Książka Miękka
common.buy 54.23 zł
Auftakte Uwe David / Książka Miękka
common.buy 77.27 zł

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.§The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

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 Thomas Ball, Robert B. Jones
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 564
EAN 9783540374060
ISBN 354037406X
Kod Libristo 01562480
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1780
Wymiary 155 x 235 x 32

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ć

Managing Cybersecurity Risk Jonathan Reuvid / Książka Miękka
common.buy 195.24 zł
Starling of the White House Edmund W. Starling / Książka Miękka
common.buy 123.46 zł
For Zion's Sake: Christian Zionism and the Role of John Nelson Darby Paul Richard Wilkinson / Książka Miękka
common.buy 147.01 zł
Dylan Thomas Rushworth M. Kidder / Książka Twarda
common.buy 394.77 zł
Inspector Jack Carter Empire Rising Mark Woodcraft / Książka Miękka
common.buy 63.00 zł
Intelligent Microgrid Management and EV Control Under Uncertainties in Smart Grid Ran Wang / Książka Twarda
common.buy 531.90 zł
Mae Madden MARY MURDOCH MASON / Książka Twarda
common.buy 132.23 zł
Assessment of Native Species and Ungulate Grazing in the Southwest: Terrestrial Wildlife United States Department of Agriculture / Książka Miękka
common.buy 67.79 zł
Mathematical Methods for Physics and Engineering Blennow / Książka Miękka
common.buy 721.44 zł
Positive Rules! Jennifer L. Simmonds / Książka Miękka
common.buy 109.80 zł
TOP
Short History of England Simon (Columnist) Jenkins / Książka Miękka
common.buy 49.85 zł
Free Us from Bullying: Real Solutions Beyond Being Nice Paul T Coughlin / Książka Miękka
common.buy 59.94 zł
WILLOWS AND OTHER STORIES Algernon Blackwood / Książka Twarda
common.buy 321.05 zł
Conversations On The Catechism Of The Protestant Episcopal Church (1849) William Meade / Książka Miękka
common.buy 115.81 zł
Brooklyn Vintage Ads Vol 16 Robert a. Henriksen / Książka Miękka
common.buy 91.14 zł
Quality management and the strategic plan / Książka Miękka
common.buy 145.89 zł
Five Years On The Inside Fisher Garth D. Fisher / Książka Miękka
common.buy 40.57 zł
Legacy of Pope Benedict XVI Charles A. Coulombe / E-book Adobe ePub DRM
common.buy 42.20 zł
TOP
What Went Wrong With Capitalism Ruchir Sharma / Książka Twarda
common.buy 113.88 zł
Applications of Palynology in Stratigraphy and Climate Studies Bandana Samant / E-book Adobe ePub DRM
common.buy 697.58 zł
Nowość
Keeping Contact – Jewish Cultural Initiatives Across Cold War Borders Rebekah Klein–pejsová / Książka Twarda
common.buy 590.83 zł
Power in Business and the State Frank Bealey / Książka Twarda
common.buy 636.71 zł
Katherine Mansfield and World War One Gerri Kimber / Książka Twarda
common.buy 510.80 zł
Revision Notes for the Respiratory Medicine Specialty Certificate Examination Caroline (Specialty Trainee in Respiratory Medicine; North West Thames Rotation) Patterson / Książka Miękka
common.buy 433.31 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?