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

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Pierre Wolper
Libristo kód: 05274476
Nakladatelství Springer, Berlin, listopad 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Kniha Brožovaná
common.buy 176 Kč
Cronicando COUTO / Kniha Brožovaná
common.buy 553 Kč
L'Olimpia Giambattista della Porta / Kniha Pevná
common.buy 409 Kč
notti chiare Carlotta Cubeddu / Kniha Pevná
common.buy 432 Kč
Manager pour apprendre SHOOK / Kniha Brožovaná
common.buy 990 Kč
Le Parc Naturel Régional du Morvan à pied collegium / Kniha Brožovaná
common.buy 541 Kč
Papiermache Figuren selbst gebaut Anke Redhead / Kniha Brožovaná
common.buy 300 Kč
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Kniha Brožovaná
common.buy 504 Kč
Lebensversicherungsvertrage A Kaindl / Kniha Brožovaná
common.buy 208 Kč
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio Audio CD
common.buy 195 Kč
Die Kunst des Zweifelns Andreas U. Sommer / Kniha Brožovaná
common.buy 262 Kč
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Kniha Brožovaná
common.buy 571 Kč
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Kniha Brožovaná
common.buy 445 Kč
Grain EP ZS / Audio Audio CD
common.buy 329 Kč

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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 Pierre Wolper
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 456
EAN 9783540600459
ISBN 3540600450
Libristo kód 05274476
Nakladatelství Springer, Berlin
Váha 622
Rozměry 156 x 234 x 23

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
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
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

Meat me: The end of a new beginning Sharon Ann De Jong / Kniha Brožovaná
common.buy 299 Kč
Adaptive Coding and Modulation Romana Rafi / Kniha Brožovaná
common.buy 1 185 Kč
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Kniha Brožovaná
common.buy 637 Kč
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Kniha Brožovaná
common.buy 341 Kč
Psychotraumatology George S. Everly Jr. / Kniha Brožovaná
common.buy 4 707 Kč
Blake's Reading Log Martha Day Zschock / Kniha Brožovaná
common.buy 191 Kč
Jane Butel's Simply Southwestern Jane Butel / Kniha Pevná
common.buy 608 Kč
Advances in Systems Biology Igor Goryanin / Kniha Brožovaná
common.buy 4 707 Kč
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Kniha Brožovaná
common.buy 126 Kč
Easy Ukulele Songs Rebecca Bogart / Kniha Brožovaná
common.buy 237 Kč
Farmer's Magazine Anonymous / Kniha Pevná
common.buy 924 Kč
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Kniha Brožovaná
common.buy 296 Kč
Sacred Hymns and Spiritual Songs Anonym / Kniha Brožovaná
common.buy 650 Kč
5-Minute Bible Study for Women Emily Biggers / Kniha Brožovaná
common.buy 142 Kč
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Kniha Brožovaná
common.buy 794 Kč
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Kniha Pevná
common.buy 2 613 Kč
Now You Know Royalty Doug Lennox / E-kniha Adobe ePub DRM
common.buy 139 Kč
I Am A Key Larry Odell Johnson / Kniha Brožovaná
common.buy 294 Kč
Metropolitan Poor Vol 5 Masaie Matsumura / Kniha Pevná
common.buy 3 369 Kč
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Kniha Brožovaná
common.buy 1 356 Kč
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Kniha Pevná
common.buy 2 788 Kč
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Kniha Brožovaná
common.buy 1 397 Kč
Archive Stories Antoinette Burton / Kniha Pevná
common.buy 3 227 Kč
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Kniha Brožovaná
common.buy 3 532 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