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

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification E. Allen Emerson
Kod Libristo: 01567506
Wydawnictwo Springer, Berlin, listopad 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Cały opis
? points 277 b
Gwarancja
najlepszej
ceny ▸
485.47 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Pokémon: Mein großer Pokémon-Block Panini / Książka Miękka
common.buy 37.33 zł
600 Primeras Palabras Más Usadas Tarjetas Bebe Bilingüe Vocabulario Espa?ol Portugués Libro Infantiles Para Ni?os: Aprender imaginario diccionario bás Lenguaje Preparacion / Książka Miękka
common.buy 55.39 zł
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Książka Miękka
common.buy 558.14 zł
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Książka Książka
common.buy 51.18 zł
Las celdas de mi cuerpo Rivero / Książka Miękka
common.buy 20.67 zł
BIDAIA SANNA / Książka Twarda
common.buy 100.56 zł
Principes d'analyse fonctionnelle WILLEM / Książka Miękka
common.buy 155.86 zł
Le Livre des merveilles du monde Polo / Książka Miękka
common.buy 18.96 zł
Phi Phi Island Josef Haslinger / Książka Miękka
common.buy 57.50 zł
Vogesen Curt Mundel / Książka Miękka
common.buy 245.29 zł
Standards der OP-Patientenlagerung Sadik Duru / Książka Miękka
common.buy 279.82 zł
Ruckkehr Der Zeitmaschine Egon Friedell / Książka Twarda
common.buy 94.74 zł
LES SOEURS DE PRAGUE J. Garcin / Książka Miękka
common.buy 48.67 zł
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Książka Miękka
common.buy 279.41 zł

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

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 E. Allen Emerson, A. Prasad Sistla
Język Angielski
Oprawa Książka - Miękka
Data wydania 2000
Liczba stron 590
EAN 9783540677703
ISBN 3540677704
Kod Libristo 01567506
Wydawnictwo Springer, Berlin
Waga 894
Wymiary 155 x 235 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) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
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
Medycyna i opieka zdrowotna > Medycyna – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

German Influence on Australian English Markus Bieswanger / Książka Miękka
common.buy 198.62 zł
A Woman Loved Andre Makine / Książka Miękka
common.buy 56.40 zł
TOP
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Książka Miękka
common.buy 66.73 zł
Cocaine and Rhinestones Wayne White / Książka Twarda
common.buy 113.71 zł
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Książka Miękka
common.buy 73.76 zł
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Książka Miękka
common.buy 43.65 zł
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Książka Miękka
common.buy 39.94 zł
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Książka Twarda
common.buy 473.93 zł
Mountain Man's Dog Gary Corbin / Książka Twarda
common.buy 79.38 zł
Patriarchs, Prophets and Other Villains Lisa Isherwood / Książka Miękka
common.buy 326.39 zł
Consciousness Of The Atom Alice a Bailey / Książka Miękka
common.buy 63.62 zł
Misguided Obsessions Dinah Walker / Książka Miękka
common.buy 76.37 zł
Playwriting Effiong Johnson / Książka Twarda
common.buy 138.60 zł
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Książka binding.
common.buy 59.01 zł
Ephesians Frank S. Thielman / Książka Twarda
common.buy 182.06 zł
Inner Grace Phillip Cary / Książka Twarda
common.buy 345.16 zł
Embryos under the Microscope Jane Maienschein / Książka Twarda
common.buy 208.15 zł
Get Going with Kindle Fire in Easy Steps Nick Vandome / Książka Miękka
common.buy 42.35 zł
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Książka Twarda
common.buy 436.59 zł
Plant Toxin Analysis Hans F. Linskens / Książka Twarda
common.buy 853.02 zł
Small Bodies in Planetary Systems I. Mann / Książka Twarda
common.buy 218.99 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?