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

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 ▸
493.28 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Pokémon: Mein großer Pokémon-Block Panini / Książka Miękka
common.buy 37.96 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 56.33 zł
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Książka Miękka
common.buy 648.52 zł
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Książka Książka
common.buy 52.04 zł
Las celdas de mi cuerpo Rivero / Książka Miękka
common.buy 18.36 zł
BIDAIA SANNA / Książka Twarda
common.buy 101.34 zł
Principes d'analyse fonctionnelle WILLEM / Książka Miękka
common.buy 157.89 zł
Phi Phi Island Josef Haslinger / Książka Miękka
common.buy 58.47 zł
Vogesen Curt Mundel / Książka Miękka
common.buy 249.44 zł
Standards der OP-Patientenlagerung Sadik Duru / Książka Miękka
common.buy 284.55 zł
Ruckkehr Der Zeitmaschine Egon Friedell / Książka Twarda
common.buy 96.34 zł
LES SOEURS DE PRAGUE J. Garcin / Książka Miękka
common.buy 48.78 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 284.14 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 201.67 zł
A Woman Loved Andre Makine / Książka Miękka
common.buy 57.35 zł
TOP
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Książka Miękka
common.buy 62.35 zł
Cocaine and Rhinestones Wayne White / Książka Twarda
common.buy 115.63 zł
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Książka Miękka
common.buy 75.01 zł
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Książka Miękka
common.buy 44.39 zł
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Książka Miękka
common.buy 40.61 zł
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Książka Twarda
common.buy 481.95 zł
Mountain Man's Dog Gary Corbin / Książka Twarda
common.buy 80.73 zł
Patriarchs, Prophets and Other Villains Lisa Isherwood / Książka Miękka
common.buy 349.67 zł
Consciousness Of The Atom Alice a Bailey / Książka Miękka
common.buy 64.70 zł
Misguided Obsessions Dinah Walker / Książka Miękka
common.buy 62.66 zł
Playwriting Effiong Johnson / Książka Twarda
common.buy 128.59 zł
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Książka binding.
common.buy 60.01 zł
Ephesians Frank S. Thielman / Książka Twarda
common.buy 181.36 zł
Inner Grace Phillip Cary / Książka Twarda
common.buy 474.29 zł
Embryos under the Microscope Jane Maienschein / Książka Twarda
common.buy 211.68 zł
Get Going with Kindle Fire in Easy Steps Nick Vandome / Książka Miękka
common.buy 38.47 zł
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Książka Twarda
common.buy 443.98 zł
Plant Toxin Analysis Hans F. Linskens / Książka Twarda
common.buy 867.45 zł
Small Bodies in Planetary Systems I. Mann / Książka Twarda
common.buy 222.70 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?