Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

phone

Kontakt

phone

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

0

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Knjiga Computer Aided Verification Pierre Wolper

Computer Aided Verification

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

Jezik

Angleščina

Knjiga Mehka

Knjiga Computer Aided Verification Pierre Wolper

Koda Libristo: 05274476

Založba Springer, Berlin, november 1994

This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Celoten opis

Koda Libristo: 05274476

?

points

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

/

Mehka

7.28 €

Cronicando COUTO

/

Mehka

20.85 €

L'Olimpia Giambattista della Porta

/

Trda

16.90 €

notti chiare Carlotta Cubeddu

/

Trda

16.09 €

Manager pour apprendre SHOOK

/

Mehka

40.91 €

Le Parc Naturel Régional du Morvan à pied collegium

/

Mehka

20.65 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Mehka

12.45 €

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

/

Mehka

20.85 €

Lebensversicherungsvertrage A Kaindl

/

Mehka

8.60 €

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

/

Zvočni CD

8.09 €

Die Kunst des Zweifelns Andreas U. Sommer

/

Mehka

9.71 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Mehka

23.59 €

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

/

Mehka

18.42 €

Grain EP ZS

/

Zvočni CD

13.56 €

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.

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Ewa Kasp

Ewa Kasp

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification

Avtor Pierre Wolper

Jezik

Angleščina

Vezava Knjiga - Mehka

Datum izida 1995

Število strani 456

EAN 9783540600459

ISBN 3540600450

Koda Libristo 05274476

Založba Springer, Berlin

Teža 622

Mere 156 x 234 x 23

Kategorije

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Podarite to knjigo še danes

To je povsem preprosto

1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

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

/

Mehka

12.35 €

Adaptive Coding and Modulation Romana Rafi

/

Mehka

49.01 €

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

/

Mehka

26.32 €

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

/

Mehka

14.88 €

Psychotraumatology George S. Everly Jr.

/

Mehka

194.76 €

Blake's Reading Log Martha Day Zschock

/

Mehka

7.89 €

Jane Butel's Simply Southwestern Jane Butel

/

Trda

25.11 €

Advances in Systems Biology Igor Goryanin

/

Mehka

194.76 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Mehka

5.16 €

Easy Ukulele Songs Rebecca Bogart

/

Mehka

9.81 €

Farmer's Magazine Anonymous

/

Trda

38.27 €

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

/

Mehka

12.24 €

Sacred Hymns and Spiritual Songs Anonym

/

Mehka

26.93 €

5-Minute Bible Study for Women Emily Biggers

/

Mehka

5.86 €

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

/

Mehka

32.81 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Trda

108.16 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

5.05 €

I Am A Key Larry Odell Johnson

/

Mehka

12.14 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Trda

139.46 €

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

/

Mehka

56.10 €

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

/

Trda

121.43 €

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

/

Mehka

60.86 €

Archive Stories Antoinette Burton

/

Trda

133.48 €

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

/

Mehka

146.14 €