Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Aided Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification E. Allen Emerson
Codul Libristo: 01567506
Editura Springer, Berlin, noiembrie 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Descrierea completă
? points 277 b
601.65 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Pokémon: Mein großer Pokémon-Block Panini / Carte Carte broșată
common.buy 49.09 lei
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 / Carte Carte broșată
common.buy 72.03 lei
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Carte Carte broșată
common.buy 729.88 lei
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Carte Carte
common.buy 66.82 lei
Las celdas de mi cuerpo Rivero / Carte Carte broșată
common.buy 25.64 lei
BIDAIA SANNA / Carte Copertă tare
common.buy 124.57 lei
Principes d'analyse fonctionnelle WILLEM / Carte Carte broșată
common.buy 193.17 lei
Le Livre des merveilles du monde Polo / Carte Carte broșată
common.buy 23.45 lei
Phi Phi Island Josef Haslinger / Carte Carte broșată
common.buy 75.58 lei
Vogesen Curt Mundel / Carte Carte broșată
common.buy 321.72 lei
Standards der OP-Patientenlagerung Sadik Duru / Carte Carte broșată
common.buy 366.03 lei
Ruckkehr Der Zeitmaschine Egon Friedell / Carte Copertă tare
common.buy 124.37 lei
LES SOEURS DE PRAGUE J. Garcin / Carte Carte broșată
common.buy 60.35 lei
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Carte Carte broșată
common.buy 366.66 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Aided Verification
Autor E. Allen Emerson, A. Prasad Sistla
Limba engleză
Legare Carte - Carte broșată
Data publicării 2000
Număr pagini 590
EAN 9783540677703
ISBN 3540677704
Codul Libristo 01567506
Editura Springer, Berlin
Greutatea 894
Dimensiuni 155 x 235 x 30

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

German Influence on Australian English Markus Bieswanger / Carte Carte broșată
common.buy 246.24 lei
A Woman Loved Andre Makine / Carte Carte broșată
common.buy 69.95 lei
Top
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Carte Carte broșată
common.buy 88.61 lei
Cocaine and Rhinestones Wayne White / Carte Copertă tare
common.buy 149.60 lei
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Carte Carte broșată
common.buy 96.22 lei
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Carte Carte broșată
common.buy 56.91 lei
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Carte Carte broșată
common.buy 52.12 lei
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Carte Copertă tare
common.buy 621.77 lei
Mountain Man's Dog Gary Corbin / Carte Copertă tare
common.buy 104.45 lei
Patriarchs, Prophets and Other Villains Lisa Isherwood / Carte Carte broșată
common.buy 424.62 lei
Consciousness Of The Atom Alice a Bailey / Carte Carte broșată
common.buy 82.25 lei
Misguided Obsessions Dinah Walker / Carte Carte broșată
common.buy 99.66 lei
Playwriting Effiong Johnson / Carte Copertă tare
common.buy 179.31 lei
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Carte binding.
common.buy 76.62 lei
Ephesians Frank S. Thielman / Carte Copertă tare
common.buy 225.60 lei
Inner Grace Phillip Cary / Carte Copertă tare
common.buy 448.08 lei
Embryos under the Microscope Jane Maienschein / Carte Copertă tare
common.buy 268.34 lei
Get Going with Kindle Fire in Easy Steps Nick Vandome / Carte Carte broșată
common.buy 54.93 lei
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Carte Copertă tare
common.buy 570.37 lei
Plant Toxin Analysis Hans F. Linskens / Carte Copertă tare
common.buy 1 115.73 lei
Small Bodies in Planetary Systems I. Mann / Carte Copertă tare
common.buy 285.96 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?