Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Aided Verification

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification E. Allen Emerson
Libristo kód: 01567506
Nakladateľstvo Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Celý popis
? points 265 b
109.48 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Pokémon: Mein großer Pokémon-Block Panini / Kniha Brožovaná
common.buy 8.80 €
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 / Kniha Brožovaná
common.buy 12.35 €
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Kniha Brožovaná
common.buy 131.86 €
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Kniha Kniha
common.buy 12.04 €
Las celdas de mi cuerpo Rivero / Kniha Brožovaná
common.buy 4.85 €
BIDAIA SANNA / Kniha Pevná
common.buy 23.79 €
Principes d'analyse fonctionnelle WILLEM / Kniha Brožovaná
common.buy 36.86 €
Le Livre des merveilles du monde Polo / Kniha Brožovaná
common.buy 4.45 €
Phi Phi Island Josef Haslinger / Kniha Brožovaná
common.buy 13.56 €
Vogesen Curt Mundel / Kniha Brožovaná
common.buy 57.92 €
Standards der OP-Patientenlagerung Sadik Duru / Kniha Brožovaná
common.buy 66.13 €
Ruckkehr Der Zeitmaschine Egon Friedell / Kniha Pevná
common.buy 22.37 €
LES SOEURS DE PRAGUE J. Garcin / Kniha Brožovaná
common.buy 11.54 €
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Kniha Brožovaná
common.buy 66.03 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Aided Verification
Autor E. Allen Emerson, A. Prasad Sistla
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2000
Počet strán 590
EAN 9783540677703
ISBN 3540677704
Libristo kód 01567506
Nakladateľstvo Springer, Berlin
Váha 894
Rozmery 155 x 235 x 30

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Medicína a ošetrovateľstvo > Medicína: všeobecné témy
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

German Influence on Australian English Markus Bieswanger / Kniha Brožovaná
common.buy 46.88 €
A Woman Loved Andre Makine / Kniha Brožovaná
common.buy 12.45 €
Top
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Kniha Brožovaná
common.buy 16.90 €
Cocaine and Rhinestones Wayne White / Kniha Pevná
common.buy 25.11 €
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Kniha Brožovaná
common.buy 16.50 €
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Kniha Brožovaná
common.buy 9.71 €
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Kniha Brožovaná
common.buy 9.00 €
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Kniha Pevná
common.buy 118.49 €
Mountain Man's Dog Gary Corbin / Kniha Pevná
common.buy 17.61 €
Patriarchs, Prophets and Other Villains Lisa Isherwood / Kniha Brožovaná
common.buy 77.07 €
Consciousness Of The Atom Alice a Bailey / Kniha Brožovaná
common.buy 14.37 €
Misguided Obsessions Dinah Walker / Kniha Brožovaná
common.buy 19.03 €
Playwriting Effiong Johnson / Kniha Pevná
common.buy 31.29 €
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Kniha binding.
common.buy 13.97 €
Ephesians Frank S. Thielman / Kniha Pevná
common.buy 42.93 €
Inner Grace Phillip Cary / Kniha Pevná
common.buy 85.37 €
Embryos under the Microscope Jane Maienschein / Kniha Pevná
common.buy 47.19 €
Get Going with Kindle Fire in Easy Steps Nick Vandome / Kniha Brožovaná
common.buy 10.02 €
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Kniha Pevná
common.buy 103.10 €
Plant Toxin Analysis Hans F. Linskens / Kniha Pevná
common.buy 201.44 €
Small Bodies in Planetary Systems I. Mann / Kniha Pevná
common.buy 51.75 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?