Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Zistiť stav objednávky

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

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

phone

Pomoc

Môj účet

▸ Prázdny :-(

0

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Kniha Computer Aided Verification Pierre Wolper

Computer Aided Verification

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

Jazyk

Angličtina

Kniha Brožovaná

Kniha Computer Aided Verification Pierre Wolper

Libristo kód: 05274476

Nakladateľstvo Springer, Berlin, november 1994

This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Celý popis

Libristo kód: 05274476

?

points

125 b

51.63 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia

/

Brožovaná

7.27 €

Cronicando COUTO

/

Brožovaná

22.83 €

L'Olimpia Giambattista della Porta

/

Pevná

17.88 €

notti chiare Carlotta Cubeddu

/

Pevná

17.88 €

Manager pour apprendre SHOOK

/

Brožovaná

40.82 €

Le Parc Naturel Régional du Morvan à pied collegium

/

Brožovaná

22.32 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Brožovaná

13.13 €

Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine

/

Brožovaná

20.81 €

Lebensversicherungsvertrage A Kaindl

/

Brožovaná

9.08 €

Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner

/

Audio CD

8.58 €

Die Kunst des Zweifelns Andreas U. Sommer

/

Brožovaná

10.80 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Brožovaná

25.05 €

Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli

/

Brožovaná

18.38 €

Grain EP ZS

/

Audio CD

14.34 €

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 pre

Prehrať video

Ewa Kasp

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 Pierre Wolper

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 1995

Počet strán 456

EAN 9783540600459

ISBN 3540600450

Libristo kód 05274476

Nakladateľstvo Springer, Berlin

Váha 622

Rozmery 156 x 234 x 23

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo

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

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ť

Meat me: The end of a new beginning Sharon Ann De Jong

/

Brožovaná

12.32 €

Adaptive Coding and Modulation Romana Rafi

/

Brožovaná

48.90 €

TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee

/

Brožovaná

26.26 €

Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss

/

Brožovaná

14.84 €

Psychotraumatology George S. Everly Jr.

/

Brožovaná

205.53 €

Blake's Reading Log Martha Day Zschock

/

Brožovaná

7.87 €

Jane Butel's Simply Southwestern Jane Butel

/

Pevná

25.05 €

Advances in Systems Biology Igor Goryanin

/

Brožovaná

205.53 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Brožovaná

5.55 €

Easy Ukulele Songs Rebecca Bogart

/

Brožovaná

9.79 €

Farmer's Magazine Anonymous

/

Pevná

38.19 €

World's Divide Books 1-4 Collection Ryan Eugene Hartung

/

Brožovaná

12.22 €

Sacred Hymns and Spiritual Songs Anonym

/

Brožovaná

28.49 €

5-Minute Bible Study for Women Emily Biggers

/

Brožovaná

5.85 €

The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman

/

Brožovaná

32.73 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Pevná

114.58 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

5.75 €

I Am A Key Larry Odell Johnson

/

Brožovaná

12.12 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Pevná

145.71 €

Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health

/

Brožovaná

59.51 €

Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong

/

Pevná

121.15 €

Perspectives on U.S. Policy Toward North Korea Sharon Richardson

/

Brožovaná

60.72 €

Archive Stories Antoinette Burton

/

Pevná

139.54 €

Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis

/

Brožovaná

154.20 €