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

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Gerard Berry
Libristo kód: 01563631
Nakladateľstvo Springer, Berlin, november 2006
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aide... Celý popis
? points 249 b
103.10 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

La Lanterne du Jugement - Tome 1 - Éveil DARKAALE / Kniha Brožovaná
common.buy 24.70 €
La prostitution comme une manière de raconter la ville Charreyron / Kniha Brožovaná
common.buy 19.74 €
Laços Tóxicos Alexandre Marques / Kniha Brožovaná
common.buy 8.50 €
Uprawlenie cepqmi postawok i logistikoj Chethan S / Kniha Brožovaná
common.buy 39.29 €
Le Collier de L'esclave Amanda Roberts / E-kniha Adobe ePub DRM
common.buy 6.78 €
HA.DE LA ARQUITECTURA VELARDE / Kniha Kniha
common.buy 10.93 €
Pripravujeme
CIUDAD. CUADERNO DE VOCABULARIO áRABE, LA ANAYA HORTAL / Kniha Kniha
common.buy 5.56 €
MODELOS DE GESTIÓN EN INNOVACIÓN EN TURISMO MANUEL FIGUEROLA / Kniha Kniha
common.buy 63.39 €
Le Regime Fiscal Des Successions Dans Les Pays Extra-Europeens Salefranque-L / Kniha Brožovaná
common.buy 13.06 €
Musikalische Poetik Bruno Madernas Markus Fein / Kniha Brožovaná
common.buy 95.30 €
La asertividad : para gente extraordinaria EVA BACH COBACHO / Kniha Brožovaná
common.buy 25.21 €
Chemie fur Ingenieure Jan Hoinkis / Kniha Brožovaná
common.buy 49.11 €
Brotarán cuentos Beatriz Giménez de Ory / Kniha Brožovaná
common.buy 17.82 €
Budapest / Tlačovina Mapa
common.buy 9.81 €
Biologische Geographie Hermann Wagner / Kniha Brožovaná
common.buy 44.55 €
Wirklichkeitskonstruktion in deutschen Fernsehserien Sabine Wipperfürth / Kniha Brožovaná
common.buy 25.11 €

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.§The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

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 Gerard Berry, Hubert Comon, Alain Finkel
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2007
Počet strán 522
EAN 9783540423454
ISBN 3540423451
Libristo kód 01563631
Nakladateľstvo Springer, Berlin
Váha 794
Rozmery 155 x 233 x 28

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 > Počítačové programovanie/softvérové ​​inžinierstvo > Programovanie databázových aplikácií
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
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Operačné systémy
Výpočtové a informačné technológie > Databázy
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ť

Intelligence and Artificial Intelligence Ulrich Ratsch / Kniha Brožovaná
common.buy 103.10 €
Microbial Natural Products Chemistry Taícia Pacheco Fill / Kniha Pevná
common.buy 226.56 €
Suffolk Buses John Law / E-kniha Adobe ePub DRM
common.buy 13.76 €
MONTALBERT: A NOVEL, VOLUME 2 CHARLOTTE TUR SMITH / Kniha Pevná
common.buy 31.89 €
Social Aesthetics and Moral Judgment Jennifer A. McMahon / E-kniha Adobe ePub DRM
common.buy 64.51 €
Next of Kin Wanted Matilda Betham-Edwards / Kniha Pevná
common.buy 32.81 €
If Your Enemy Hungers, Feed Him ROBERT E HOOPER / Kniha Brožovaná
common.buy 27.34 €
Don't Be Quiet, Start a Riot! Essays on Feminism and Performance Tiina Rosenberg / Kniha Brožovaná
common.buy 19.33 €
The Railway Revolution in Mexico Bernard Moses / Kniha Brožovaná
common.buy 15.79 €
All Measures Short of War Thomas J Wright / Kniha Brožovaná
common.buy 22.88 €
U.S.-Japan Science and Technology Agreement: A Drama in Five Acts UYEHARA / Kniha Brožovaná
common.buy 74.33 €
Twinflame Shananda / Kniha Pevná
common.buy 35.44 €
Blame Me Verland Marshall / Kniha Brožovaná
common.buy 14.98 €
Registered: A Guide for Protecting Your Business, Brand & Bucks Michelle J. Miller / Kniha Brožovaná
common.buy 18.32 €
Four American Universities: Harvard, Yale, Princeton, Columbia William Milligan Sloane / Kniha Brožovaná
common.buy 20.25 €
Electric Power and Energy Distribution Systems - Models, Methods, and Applications Anil Pahwa / Kniha Pevná
common.buy 136.92 €
Railways of South and West Scotland Ian Lothian / Kniha Brožovaná
common.buy 17.11 €
Prince of Control Renee Rose / Kniha Brožovaná
common.buy 12.04 €
Nové
The Age of the Archangel Michael Emil Bock / Kniha Brožovaná
common.buy 25.51 €
Science and Engineering of Cutting Antony Atkins / Kniha Brožovaná
common.buy 73.12 €
Usefulness in Small Things Kim Colin / Kniha Brožovaná
common.buy 40.30 €
ANTIQUE GEMS FROM THE GREEK AND LATIN THEOCRITUS / Kniha Pevná
common.buy 55.39 €
OLD ENGLISH SONGS: FROM VARIOUS SOURCES Hugh Thomson / Kniha Pevná
common.buy 35.54 €
The terrible stormy wind and tempest, Novemb. 27th. 1703. Consider'd, improv'd, and collected, to be had in everlasting remembrance. Abednego Seller / Kniha Brožovaná
common.buy 13.97 €

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