Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

phone

Kontakt

phone

Pomoć

Moj račun

▸ Prazno :-(

0

Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Knjiga Computer Aided Verification Pierre Wolper

Computer Aided Verification

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

Jezik

Engleski

Knjiga Meki uvez

Knjiga Computer Aided Verification Pierre Wolper

Libristo kod: 05274476

Nakladnici Springer, Berlin, studeni 1994

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

Libristo kod: 05274476

?

points

125 b

51.69 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

/

Meki uvez

7.68 €

Cronicando COUTO

/

Meki uvez

21.84 €

L'Olimpia Giambattista della Porta

/

Tvrdi uvez

17.90 €

notti chiare Carlotta Cubeddu

/

Tvrdi uvez

16.99 €

Manager pour apprendre SHOOK

/

Meki uvez

43.60 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Meki uvez

13.14 €

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

/

Meki uvez

21.95 €

Lebensversicherungsvertrage A Kaindl

/

Meki uvez

9.10 €

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

/

Audio CD

8.59 €

Die Kunst des Zweifelns Andreas U. Sommer

/

Meki uvez

10.21 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Meki uvez

25.08 €

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

/

Meki uvez

19.32 €

Grain EP ZS

/

Audio CD

14.36 €

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.

Glumica & Poliglotkinja

EWA KASP za

Pusti video

Ewa Kasp

Ewa Kasp

Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification

Autor Pierre Wolper

Jezik

Engleski

Uvez Knjiga - Meki uvez

Datum izdanja 1995

Broj stranica 456

EAN 9783540600459

ISBN 3540600450

Libristo kod 05274476

Nakladnici Springer, Berlin

Težina 622

Dimenzije 156 x 234 x 23

Kategorija

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

Poklonite ovu knjigu još danas

To je jednostavno

1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

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

/

Meki uvez

13.04 €

Adaptive Coding and Modulation Romana Rafi

/

Meki uvez

51.49 €

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

/

Meki uvez

27.71 €

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

/

Meki uvez

15.67 €

Psychotraumatology George S. Everly Jr.

/

Meki uvez

205.79 €

Blake's Reading Log Martha Day Zschock

/

Meki uvez

8.39 €

Jane Butel's Simply Southwestern Jane Butel

/

Tvrdi uvez

26.80 €

Advances in Systems Biology Igor Goryanin

/

Meki uvez

205.79 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Meki uvez

5.55 €

Easy Ukulele Songs Rebecca Bogart

/

Meki uvez

10.31 €

Farmer's Magazine Anonymous

/

Tvrdi uvez

40.16 €

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

/

Meki uvez

12.84 €

Sacred Hymns and Spiritual Songs Anonym

/

Meki uvez

28.52 €

5-Minute Bible Study for Women Emily Biggers

/

Meki uvez

6.26 €

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

/

Meki uvez

34.49 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Tvrdi uvez

114.73 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

5.45 €

I Am A Key Larry Odell Johnson

/

Meki uvez

12.74 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Tvrdi uvez

145.89 €

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

/

Meki uvez

59.58 €

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

/

Tvrdi uvez

121.30 €

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

/

Meki uvez

60.80 €

Archive Stories Antoinette Burton

/

Tvrdi uvez

139.72 €

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

/

Meki uvez

154.39 €