Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
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
? points 125 b
51.83 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Knjiga Meki uvez
common.buy 7.70 €
Cronicando COUTO / Knjiga Meki uvez
common.buy 21.60 €
L'Olimpia Giambattista della Porta / Knjiga Tvrdi uvez
common.buy 17.95 €
notti chiare Carlotta Cubeddu / Knjiga Tvrdi uvez
common.buy 16.73 €
Manager pour apprendre SHOOK / Knjiga Meki uvez
common.buy 43.01 €
Le Parc Naturel Régional du Morvan à pied collegium / Knjiga Meki uvez
common.buy 21.50 €
Papiermache Figuren selbst gebaut Anke Redhead / Knjiga Meki uvez
common.buy 13.18 €
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Knjiga Meki uvez
common.buy 22.00 €
Lebensversicherungsvertrage A Kaindl / Knjiga Meki uvez
common.buy 9.12 €
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio Audio CD
common.buy 8.61 €
Die Kunst des Zweifelns Andreas U. Sommer / Knjiga Meki uvez
common.buy 10.03 €
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Knjiga Meki uvez
common.buy 25.15 €
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Knjiga Meki uvez
common.buy 19.37 €
Grain EP ZS / Audio Audio CD
common.buy 14.40 €

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
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 / Knjiga Meki uvez
common.buy 13.08 €
Adaptive Coding and Modulation Romana Rafi / Knjiga Meki uvez
common.buy 51.63 €
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Knjiga Meki uvez
common.buy 27.79 €
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Knjiga Meki uvez
common.buy 15.71 €
Psychotraumatology George S. Everly Jr. / Knjiga Meki uvez
common.buy 206.34 €
Blake's Reading Log Martha Day Zschock / Knjiga Meki uvez
common.buy 8.41 €
Jane Butel's Simply Southwestern Jane Butel / Knjiga Tvrdi uvez
common.buy 26.87 €
Advances in Systems Biology Igor Goryanin / Knjiga Meki uvez
common.buy 206.34 €
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Knjiga Meki uvez
common.buy 5.57 €
Easy Ukulele Songs Rebecca Bogart / Knjiga Meki uvez
common.buy 10.34 €
Farmer's Magazine Anonymous / Knjiga Tvrdi uvez
common.buy 40.27 €
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Knjiga Meki uvez
common.buy 12.87 €
Sacred Hymns and Spiritual Songs Anonym / Knjiga Meki uvez
common.buy 28.60 €
5-Minute Bible Study for Women Emily Biggers / Knjiga Meki uvez
common.buy 6.28 €
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Knjiga Meki uvez
common.buy 34.58 €
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Knjiga Tvrdi uvez
common.buy 115.04 €
Now You Know Royalty Doug Lennox / E-knjiga Adobe ePub DRM
common.buy 5.47 €
I Am A Key Larry Odell Johnson / Knjiga Meki uvez
common.buy 12.77 €
Metropolitan Poor Vol 5 Masaie Matsumura / Knjiga Tvrdi uvez
common.buy 160.08 €
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Knjiga Meki uvez
common.buy 59.64 €
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Knjiga Tvrdi uvez
common.buy 118.38 €
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Knjiga Meki uvez
common.buy 57.41 €
Archive Stories Antoinette Burton / Knjiga Tvrdi uvez
common.buy 142.43 €
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Knjiga Meki uvez
common.buy 154.80 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?