A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Computer Aided Verification

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Computer Aided Verification Gerard Berry
Libristo kód: 01563631
Kiadó Springer, Berlin, november 2006
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aide... Teljes leírás
? points 271 b
39 520 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

La Lanterne du Jugement - Tome 1 - Éveil DARKAALE / Könyv Puha kötésű
common.buy 9 909 Ft
La prostitution comme une manière de raconter la ville Charreyron / Könyv Puha kötésű
common.buy 8 188 Ft
Laços Tóxicos Alexandre Marques / Könyv Puha kötésű
common.buy 3 429 Ft
Uprawlenie cepqmi postawok i logistikoj Chethan S / Könyv Puha kötésű
common.buy 15 132 Ft
Le Collier de L'esclave Amanda Roberts / E-könyv Adobe ePub DRM
common.buy 2 407 Ft
HA.DE LA ARQUITECTURA VELARDE / Könyv Könyv
common.buy 3 811 Ft
Hamarosan
CIUDAD. CUADERNO DE VOCABULARIO áRABE, LA ANAYA HORTAL / Könyv Könyv
common.buy 1 942 Ft
MODELOS DE GESTIÓN EN INNOVACIÓN EN TURISMO MANUEL FIGUEROLA / Könyv Könyv
common.buy 22 344 Ft
Le Regime Fiscal Des Successions Dans Les Pays Extra-Europeens Salefranque-L / Könyv Puha kötésű
common.buy 5 196 Ft
Musikalische Poetik Bruno Madernas Markus Fein / Könyv Puha kötésű
common.buy 36 441 Ft
La asertividad : para gente extraordinaria EVA BACH COBACHO / Könyv Puha kötésű
common.buy 6 669 Ft
Chemie fur Ingenieure Jan Hoinkis / Könyv Puha kötésű
common.buy 18 856 Ft
Brotarán cuentos Beatriz Giménez de Ory / Könyv Puha kötésű
common.buy 6 291 Ft
Budapest / Nyomtatványok Térkép
common.buy 3 475 Ft
Biologische Geographie Hermann Wagner / Könyv Puha kötésű
common.buy 17 194 Ft
Wirklichkeitskonstruktion in deutschen Fernsehserien Sabine Wipperfürth / Könyv Puha kötésű
common.buy 9 674 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Computer Aided Verification
Szerző Gerard Berry, Hubert Comon, Alain Finkel
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2007
Oldalszám 522
EAN 9783540423454
ISBN 3540423451
Libristo kód 01563631
Kiadó Springer, Berlin
Súly 794
Méretek 155 x 233 x 28

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Adatbázis-programozás
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Operációs rendszerek
Számítástechnika és információtechnológia > Adatbázisok
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Intelligence and Artificial Intelligence Ulrich Ratsch / Könyv Puha kötésű
common.buy 39 520 Ft
Microbial Natural Products Chemistry Taícia Pacheco Fill / Könyv Kemény kötésű
common.buy 86 809 Ft
MONTALBERT: A NOVEL, VOLUME 2 CHARLOTTE TUR SMITH / Könyv Kemény kötésű
common.buy 12 771 Ft
Social Aesthetics and Moral Judgment Jennifer A. McMahon / E-könyv Adobe ePub DRM
common.buy 22 841 Ft
Next of Kin Wanted Matilda Betham-Edwards / Könyv Kemény kötésű
common.buy 13 121 Ft
Wehman's 10c. Cook Book Henry J. Wehman / Könyv Puha kötésű
common.buy 4 524 Ft
If Your Enemy Hungers, Feed Him ROBERT E HOOPER / Könyv Puha kötésű
common.buy 10 783 Ft
Don't Be Quiet, Start a Riot! Essays on Feminism and Performance Tiina Rosenberg / Könyv Puha kötésű
common.buy 7 723 Ft
The Railway Revolution in Mexico Bernard Moses / Könyv Puha kötésű
common.buy 6 365 Ft
All Measures Short of War Thomas J Wright / Könyv Puha kötésű
common.buy 7 120 Ft
U.S.-Japan Science and Technology Agreement: A Drama in Five Acts UYEHARA / Könyv Puha kötésű
common.buy 27 526 Ft
Twinflame Shananda / Könyv Kemény kötésű
common.buy 14 083 Ft
Blame Me Verland Marshall / Könyv Puha kötésű
common.buy 6 011 Ft
Registered: A Guide for Protecting Your Business, Brand & Bucks Michelle J. Miller / Könyv Puha kötésű
common.buy 7 387 Ft
Four American Universities: Harvard, Yale, Princeton, Columbia William Milligan Sloane / Könyv Puha kötésű
common.buy 8 086 Ft
Electric Power and Energy Distribution Systems - Models, Methods, and Applications Anil Pahwa / Könyv Kemény kötésű
common.buy 50 685 Ft
Railways of South and West Scotland Ian Lothian / Könyv Puha kötésű
common.buy 6 420 Ft
Prince of Control Renee Rose / Könyv Puha kötésű
common.buy 4 993 Ft
Új
The Age of the Archangel Michael Emil Bock / Könyv Puha kötésű
common.buy 10 318 Ft
Science and Engineering of Cutting Antony Atkins / Könyv Puha kötésű
common.buy 22 620 Ft
Usefulness in Small Things Kim Colin / Könyv Puha kötésű
common.buy 14 244 Ft
ANTIQUE GEMS FROM THE GREEK AND LATIN THEOCRITUS / Könyv Kemény kötésű
common.buy 22 109 Ft
OLD ENGLISH SONGS: FROM VARIOUS SOURCES Hugh Thomson / Könyv Kemény kötésű
common.buy 14 184 Ft
The terrible stormy wind and tempest, Novemb. 27th. 1703. Consider'd, improv'd, and collected, to be had in everlasting remembrance. Abednego Seller / Könyv Puha kötésű
common.buy 5 781 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?