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ł
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 236 b
425.47 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

FESTE LIPID-NANOPARTIKEL IN DER WUNDBEHANDLUNG Kanika Dhote / Książka Miękka
common.buy 223.23 zł
Atlas helénistického světa Laurianne Martinez-Séve / Książka Miękka
common.buy 55.40 zł
Cherry Bomb Tyler / Audio CD Audio
common.buy 55.60 zł
Culture Industrielle de la Reglisse, Ses Usages En Medecine Humaine Et Veterinaire, Des Tabacs, Etc. FENEON-A / Książka Miękka
common.buy 61.25 zł
Amazing Spider-Man Návrat ke kořenům Nick Spencer / Książka Miękka
common.buy 52.77 zł
Induzione della fioritura nel pomelo mediante paclobutrazolo Mary Tess Mandantes / Książka Miękka
common.buy 146.63 zł
Langenscheidt Die kulinarische Sprachreise Italienisch / Książka Twarda
common.buy 63.06 zł
Microfinance: Maitriser les activités des institutions de microfinance Kawele Kouadio / Książka Miękka
common.buy 66.50 zł
Aféra Granvillových Una-Mary Parker / Książka Miękka
common.buy 56.91 zł
La reina sola JORGE MOLIST / Książka Miękka
common.buy 56.51 zł
HEROIS, MONSTRES I ALTRES MENTIDES DOMINGO MIQUEL / Książka Miękka
common.buy 115.75 zł
Borges. El Misterio Esencial / Borges. the Essential Mystery Willis Barnstone / Książka Miękka
common.buy 72.25 zł
Patient Scheidungsfamilie Helmuth Figdor / Książka Miękka
common.buy 128.36 zł
Verdinglichung und schulischer Leistungsprozess. Einfuhrung in die Sozialphilosophie Malte Gerhardt / Książka Miękka
common.buy 70.84 zł
Auftakte Uwe David / Książka Miękka
common.buy 78.21 zł
Orchesterwerke Pöntinen/Segerstam/SPO / Audio CD Audio
common.buy 100.77 zł
Leben Nach Mass - Zwischen Machbarkeit Und Unantastbarkeit Gottfried Schüz / Książka Miękka
common.buy 370.77 zł
El Rubius 100% no oficial MARTINA REIS / Książka Miękka
common.buy 60.85 zł
Книга алхимии. История, символы, практика / Książka Twarda
common.buy 61.55 zł
Juegos de ingenio John Katzenbach / Książka Miękka
common.buy 65.39 zł
Etude Sur La Restauration de la Levre Inferieure, Nouveau Procede de M. Letievant BERNARD-A / Książka Miękka
common.buy 69.73 zł
Lieder Oswalds von Wolkenstein Burghart Wachinger / Książka Miękka
common.buy 100.41 zł
Verordnung über die Berufsausbildung zum Brenner/zur Brennerin Antiphon Verlag / Książka Miękka
common.buy 51.46 zł
Nerudův verš Jakub Říha / Książka Miękka
common.buy 24.01 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ć

Starling of the White House Edmund W. Starling / Książka Miękka
common.buy 128.56 zł
For Zion's Sake: Christian Zionism and the Role of John Nelson Darby Paul Richard Wilkinson / Książka Miękka
common.buy 153.29 zł
Applications of Palynology in Stratigraphy and Climate Studies Bandana Samant / E-book Adobe ePub DRM
common.buy 704.91 zł
What Went Wrong With Capitalism Ruchir Sharma / Książka Twarda
common.buy 107.77 zł
Legacy of Pope Benedict XVI Charles A. Coulombe / E-book Adobe ePub DRM
common.buy 42.62 zł
Positive Rules! Jennifer L. Simmonds / Książka Miękka
common.buy 100.91 zł
Inspector Jack Carter Empire Rising Mark Woodcraft / Książka Miękka
common.buy 66.09 zł
Dylan Thomas Rushworth M. Kidder / Książka Twarda
common.buy 542.34 zł
Intelligent Microgrid Management and EV Control Under Uncertainties in Smart Grid Ran Wang / Książka Twarda
common.buy 510.35 zł
Mae Madden MARY MURDOCH MASON / Książka Twarda
common.buy 137.65 zł
Something To Cry And To Rejoice About Tyron Faison / Książka Miękka
common.buy 86.68 zł
Assessment of Native Species and Ungulate Grazing in the Southwest: Terrestrial Wildlife United States Department of Agriculture / Książka Miękka
common.buy 70.43 zł
Export & Import - Winning in the Global Marketplace: A Practical Hands-On Guide to Success in International Business, with 100s of Real-World Examples Leif Holmvall / E-book Adobe ePub DRM
common.buy 52.76 zł
Forest Dames ADA AGBASIMALO / Książka Miękka
common.buy 73.86 zł
Mathematical Methods for Physics and Engineering Blennow / Książka Miękka
common.buy 784.85 zł
Managing Cybersecurity Risk Jonathan Reuvid / Książka Miękka
common.buy 189.12 zł
Short History of England Simon (Columnist) Jenkins / Książka Miękka
common.buy 52.57 zł
Free Us from Bullying: Real Solutions Beyond Being Nice Paul T Coughlin / Książka Miękka
common.buy 60.62 zł
Wash Alexis Herriott / Książka Miękka
common.buy 38.24 zł
WILLOWS AND OTHER STORIES Algernon Blackwood / Książka Twarda
common.buy 334.85 zł
Five Years On The Inside Fisher Garth D. Fisher / Książka Miękka
common.buy 42.28 zł
Documents, Illustrative of the Liturgy of the Church of England V1: The Puritan Prayer Book (1848) Peter Hall / Książka Miękka
common.buy 129.17 zł
Conversations On The Catechism Of The Protestant Episcopal Church (1849) William Meade / Książka Miękka
common.buy 120.59 zł
The Prodromus Of Nicolaus Steno's Dissertation: Concerning A Solid Body Enclosed By Process Of Nature Within A Solid (1916) Nicolaus Steno / Książka Twarda
common.buy 171.76 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?