Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, listopad 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Celý popis
? points 265 b
2 646 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Pokémon: Mein großer Pokémon-Block Panini / Kniha Brožovaná
common.buy 200 Kč
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 299 Kč
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Kniha Brožovaná
common.buy 3 009 Kč
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Kniha Kniha
common.buy 292 Kč
Las celdas de mi cuerpo Rivero / Kniha Brožovaná
common.buy 118 Kč
BIDAIA SANNA / Kniha Pevná
common.buy 574 Kč
Principes d'analyse fonctionnelle WILLEM / Kniha Brožovaná
common.buy 890 Kč
Le Livre des merveilles du monde Polo / Kniha Brožovaná
common.buy 108 Kč
Phi Phi Island Josef Haslinger / Kniha Brožovaná
common.buy 309 Kč
Vogesen Curt Mundel / Kniha Brožovaná
common.buy 1 318 Kč
Standards der OP-Patientenlagerung Sadik Duru / Kniha Brožovaná
common.buy 1 509 Kč
Ruckkehr Der Zeitmaschine Egon Friedell / Kniha Pevná
common.buy 509 Kč
LES SOEURS DE PRAGUE J. Garcin / Kniha Brožovaná
common.buy 278 Kč
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Kniha Brožovaná
common.buy 1 502 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Aided Verification
Autor E. Allen Emerson, A. Prasad Sistla
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2000
Počet stran 590
EAN 9783540677703
ISBN 3540677704
Libristo kód 01567506
Nakladatelství Springer, Berlin
Váha 894
Rozměry 155 x 235 x 30

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Medicína a ošetřovatelství > Medicína: obecná témata
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

German Influence on Australian English Markus Bieswanger / Kniha Brožovaná
common.buy 1 134 Kč
A Woman Loved Andre Makine / Kniha Brožovaná
common.buy 302 Kč
Top
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Kniha Brožovaná
common.buy 381 Kč
Cocaine and Rhinestones Wayne White / Kniha Pevná
common.buy 608 Kč
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Kniha Brožovaná
common.buy 400 Kč
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Kniha Brožovaná
common.buy 236 Kč
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Kniha Brožovaná
common.buy 217 Kč
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Kniha Pevná
common.buy 2 705 Kč
Mountain Man's Dog Gary Corbin / Kniha Pevná
common.buy 425 Kč
Patriarchs, Prophets and Other Villains Lisa Isherwood / Kniha Brožovaná
common.buy 1 770 Kč
Consciousness Of The Atom Alice a Bailey / Kniha Brožovaná
common.buy 347 Kč
Misguided Obsessions Dinah Walker / Kniha Brožovaná
common.buy 436 Kč
Playwriting Effiong Johnson / Kniha Pevná
common.buy 756 Kč
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Kniha binding.
common.buy 321 Kč
Ephesians Frank S. Thielman / Kniha Pevná
common.buy 1 039 Kč
Inner Grace Phillip Cary / Kniha Pevná
common.buy 1 970 Kč
Embryos under the Microscope Jane Maienschein / Kniha Pevná
common.buy 1 140 Kč
Get Going with Kindle Fire in Easy Steps Nick Vandome / Kniha Brožovaná
common.buy 230 Kč
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Kniha Pevná
common.buy 2 357 Kč
Plant Toxin Analysis Hans F. Linskens / Kniha Pevná
common.buy 4 599 Kč
Small Bodies in Planetary Systems I. Mann / Kniha Pevná
common.buy 1 182 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?