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

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
Nakladatelství Springer, Berlin, listopad 2006
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aide... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

La Lanterne du Jugement - Tome 1 - Éveil DARKAALE / Kniha Brožovaná
common.buy 596 Kč
La prostitution comme une manière de raconter la ville Charreyron / Kniha Brožovaná
common.buy 478 Kč
Laços Tóxicos Alexandre Marques / Kniha Brožovaná
common.buy 206 Kč
Uprawlenie cepqmi postawok i logistikoj Chethan S / Kniha Brožovaná
common.buy 893 Kč
Le Collier de L'esclave Amanda Roberts / E-kniha Adobe ePub DRM
common.buy 164 Kč
HA.DE LA ARQUITECTURA VELARDE / Kniha Kniha
common.buy 264 Kč
Připravujeme
CIUDAD. CUADERNO DE VOCABULARIO áRABE, LA ANAYA HORTAL / Kniha Kniha
common.buy 135 Kč
MODELOS DE GESTIÓN EN INNOVACIÓN EN TURISMO MANUEL FIGUEROLA / Kniha Kniha
common.buy 1 532 Kč
Le Regime Fiscal Des Successions Dans Les Pays Extra-Europeens Salefranque-L / Kniha Brožovaná
common.buy 315 Kč
Musikalische Poetik Bruno Madernas Markus Fein / Kniha Brožovaná
common.buy 2 183 Kč
La asertividad : para gente extraordinaria EVA BACH COBACHO / Kniha Brožovaná
common.buy 576 Kč
Chemie fur Ingenieure Jan Hoinkis / Kniha Brožovaná
common.buy 1 121 Kč
Brotarán cuentos Beatriz Giménez de Ory / Kniha Brožovaná
common.buy 431 Kč
Budapest / Tiskovina Mapa
common.buy 238 Kč
Biologische Geographie Hermann Wagner / Kniha Brožovaná
common.buy 1 014 Kč
Wirklichkeitskonstruktion in deutschen Fernsehserien Sabine Wipperfürth / Kniha Brožovaná
common.buy 571 Kč

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 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 Gerard Berry, Hubert Comon, Alain Finkel
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2007
Počet stran 522
EAN 9783540423454
ISBN 3540423451
Libristo kód 01563631
Nakladatelství Springer, Berlin
Váha 794
Rozměry 155 x 233 x 28

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 > Počítačové programování/softwarové inženýrství > Programování databázových aplikací
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
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
Výpočetní a informační technologie > Databáze
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

Intelligence and Artificial Intelligence Ulrich Ratsch / Kniha Brožovaná
common.buy 2 357 Kč
Microbial Natural Products Chemistry Taícia Pacheco Fill / Kniha Pevná
common.buy 5 178 Kč
Suffolk Buses John Law / E-kniha Adobe ePub DRM
common.buy 333 Kč
MONTALBERT: A NOVEL, VOLUME 2 CHARLOTTE TUR SMITH / Kniha Pevná
common.buy 772 Kč
Social Aesthetics and Moral Judgment Jennifer A. McMahon / E-kniha Adobe ePub DRM
common.buy 1 558 Kč
Next of Kin Wanted Matilda Betham-Edwards / Kniha Pevná
common.buy 794 Kč
If Your Enemy Hungers, Feed Him ROBERT E HOOPER / Kniha Brožovaná
common.buy 660 Kč
Don't Be Quiet, Start a Riot! Essays on Feminism and Performance Tiina Rosenberg / Kniha Brožovaná
common.buy 467 Kč
The Railway Revolution in Mexico Bernard Moses / Kniha Brožovaná
common.buy 382 Kč
All Measures Short of War Thomas J Wright / Kniha Brožovaná
common.buy 553 Kč
U.S.-Japan Science and Technology Agreement: A Drama in Five Acts UYEHARA / Kniha Brožovaná
common.buy 1 706 Kč
Twinflame Shananda / Kniha Pevná
common.buy 857 Kč
Blame Me Verland Marshall / Kniha Brožovaná
common.buy 362 Kč
Registered: A Guide for Protecting Your Business, Brand & Bucks Michelle J. Miller / Kniha Brožovaná
common.buy 444 Kč
Four American Universities: Harvard, Yale, Princeton, Columbia William Milligan Sloane / Kniha Brožovaná
common.buy 489 Kč
Electric Power and Energy Distribution Systems - Models, Methods, and Applications Anil Pahwa / Kniha Pevná
common.buy 3 143 Kč
Railways of South and West Scotland Ian Lothian / Kniha Brožovaná
common.buy 385 Kč
Prince of Control Renee Rose / Kniha Brožovaná
common.buy 292 Kč
Nové
The Age of the Archangel Michael Emil Bock / Kniha Brožovaná
common.buy 581 Kč
Science and Engineering of Cutting Antony Atkins / Kniha Brožovaná
common.buy 1 766 Kč
Usefulness in Small Things Kim Colin / Kniha Brožovaná
common.buy 974 Kč
ANTIQUE GEMS FROM THE GREEK AND LATIN THEOCRITUS / Kniha Pevná
common.buy 1 338 Kč
OLD ENGLISH SONGS: FROM VARIOUS SOURCES Hugh Thomson / Kniha Pevná
common.buy 858 Kč
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 338 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