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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Gerard Berry
Kod Libristo: 01563631
Wydawnictwo Springer, Berlin, listopad 2006
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aide... Cały opis
? points 249 b
435.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

La Lanterne du Jugement - Tome 1 - Éveil DARKAALE / Książka Miękka
common.buy 109.84 zł
La prostitution comme une manière de raconter la ville Charreyron / Książka Miękka
common.buy 89.19 zł
Laços Tóxicos Alexandre Marques / Książka Miękka
common.buy 38.18 zł
Uprawlenie cepqmi postawok i logistikoj Chethan S / Książka Miękka
common.buy 165.97 zł
Le Collier de L'esclave Amanda Roberts / E-book Adobe ePub DRM
common.buy 28.65 zł
HA.DE LA ARQUITECTURA VELARDE / Książka Książka
common.buy 46.19 zł
Zapowiedź
CIUDAD. CUADERNO DE VOCABULARIO áRABE, LA ANAYA HORTAL / Książka Książka
common.buy 23.64 zł
MODELOS DE GESTIÓN EN INNOVACIÓN EN TURISMO MANUEL FIGUEROLA / Książka Książka
common.buy 268.00 zł
Le Regime Fiscal Des Successions Dans Les Pays Extra-Europeens Salefranque-L / Książka Miękka
common.buy 57.92 zł
Musikalische Poetik Bruno Madernas Markus Fein / Książka Miękka
common.buy 402.90 zł
La asertividad : para gente extraordinaria EVA BACH COBACHO / Książka Miękka
common.buy 106.73 zł
Chemie fur Ingenieure Jan Hoinkis / Książka Miękka
common.buy 207.66 zł
Brotarán cuentos Beatriz Giménez de Ory / Książka Miękka
common.buy 75.36 zł
Budapest / Prasa Mapa
common.buy 41.59 zł
Biologische Geographie Hermann Wagner / Książka Miękka
common.buy 188.42 zł
Wirklichkeitskonstruktion in deutschen Fernsehserien Sabine Wipperfürth / Książka Miękka
common.buy 106.03 zł

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.§The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

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 Gerard Berry, Hubert Comon, Alain Finkel
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 522
EAN 9783540423454
ISBN 3540423451
Kod Libristo 01563631
Wydawnictwo Springer, Berlin
Waga 794
Wymiary 155 x 233 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) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie baz danych
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) > Systemy operacyjne
Informatyka i technologie informacyjne (IT) > Bazy danych
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ć

Intelligence and Artificial Intelligence Ulrich Ratsch / Książka Miękka
common.buy 435.98 zł
Microbial Natural Products Chemistry Taícia Pacheco Fill / Książka Twarda
common.buy 957.66 zł
Suffolk Buses John Law / E-book Adobe ePub DRM
common.buy 58.22 zł
MONTALBERT: A NOVEL, VOLUME 2 CHARLOTTE TUR SMITH / Książka Twarda
common.buy 142.01 zł
Social Aesthetics and Moral Judgment Jennifer A. McMahon / E-book Adobe ePub DRM
common.buy 272.51 zł
Next of Kin Wanted Matilda Betham-Edwards / Książka Twarda
common.buy 145.92 zł
If Your Enemy Hungers, Feed Him ROBERT E HOOPER / Książka Miękka
common.buy 120.66 zł
Don't Be Quiet, Start a Riot! Essays on Feminism and Performance Tiina Rosenberg / Książka Miękka
common.buy 85.89 zł
The Railway Revolution in Mexico Bernard Moses / Książka Miękka
common.buy 70.45 zł
All Measures Short of War Thomas J Wright / Książka Miękka
common.buy 96.71 zł
U.S.-Japan Science and Technology Agreement: A Drama in Five Acts UYEHARA / Książka Miękka
common.buy 314.20 zł
Twinflame Shananda / Książka Twarda
common.buy 157.25 zł
Blame Me Verland Marshall / Książka Miękka
common.buy 66.64 zł
Registered: A Guide for Protecting Your Business, Brand & Bucks Michelle J. Miller / Książka Miękka
common.buy 81.68 zł
Four American Universities: Harvard, Yale, Princeton, Columbia William Milligan Sloane / Książka Miękka
common.buy 89.89 zł
Electric Power and Energy Distribution Systems - Models, Methods, and Applications Anil Pahwa / Książka Twarda
common.buy 549.84 zł
Railways of South and West Scotland Ian Lothian / Książka Miękka
common.buy 72.25 zł
Prince of Control Renee Rose / Książka Miękka
common.buy 54.41 zł
Nowość
The Age of the Archangel Michael Emil Bock / Książka Miękka
common.buy 113.85 zł
Science and Engineering of Cutting Antony Atkins / Książka Miękka
common.buy 308.99 zł
Usefulness in Small Things Kim Colin / Książka Miękka
common.buy 170.38 zł
ANTIQUE GEMS FROM THE GREEK AND LATIN THEOCRITUS / Książka Twarda
common.buy 245.95 zł
OLD ENGLISH SONGS: FROM VARIOUS SOURCES Hugh Thomson / Książka Twarda
common.buy 157.75 zł
The terrible stormy wind and tempest, Novemb. 27th. 1703. Consider'd, improv'd, and collected, to be had in everlasting remembrance. Abednego Seller / Książka Miękka
common.buy 62.93 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