Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

phone

Kontakt

phone

Pomoc

Moje konto

▸ Pusty :-(

0

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Książka Computer Aided Verification Pierre Wolper

Computer Aided Verification

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

Język

Angielski

Książka Miękka

Książka Computer Aided Verification Pierre Wolper

Kod Libristo: 05274476

Wydawnictwo Springer, Berlin, listopad 1994

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

Kod Libristo: 05274476

?

points

125 b

219.03 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

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

/

Miękka

32.41 zł

Cronicando COUTO

/

Miękka

96.86 zł

L'Olimpia Giambattista della Porta

/

Twarda

76.08 zł

notti chiare Carlotta Cubeddu

/

Twarda

71.87 zł

Manager pour apprendre SHOOK

/

Miękka

185.00 zł

Le Parc Naturel Régional du Morvan à pied collegium

/

Miękka

94.75 zł

Papiermache Figuren selbst gebaut Anke Redhead

/

Miękka

55.70 zł

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

/

Miękka

93.05 zł

Lebensversicherungsvertrage A Kaindl

/

Miękka

38.74 zł

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

/

CD Audio

36.43 zł

Die Kunst des Zweifelns Andreas U. Sommer

/

Miękka

45.87 zł

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Miękka

106.20 zł

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

/

Miękka

82.00 zł

Grain EP ZS

/

CD Audio

60.92 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Ewa Kasp

Ewa Kasp

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Aided Verification

Autor Pierre Wolper

Język

Angielski

Oprawa Książka - Miękka

Data wydania 1995

Liczba stron 456

EAN 9783540600459

ISBN 3540600450

Kod Libristo 05274476

Wydawnictwo Springer, Berlin

Waga 622

Wymiary 156 x 234 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

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

/

Miękka

55.40 zł

Adaptive Coding and Modulation Romana Rafi

/

Miękka

218.13 zł

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

/

Miękka

117.34 zł

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

/

Miękka

66.55 zł

Psychotraumatology George S. Everly Jr.

/

Miękka

872.04 zł

Blake's Reading Log Martha Day Zschock

/

Miękka

35.53 zł

Jane Butel's Simply Southwestern Jane Butel

/

Twarda

113.53 zł

Advances in Systems Biology Igor Goryanin

/

Miękka

872.04 zł

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Miękka

23.68 zł

Easy Ukulele Songs Rebecca Bogart

/

Miękka

43.76 zł

Farmer's Magazine Anonymous

/

Twarda

170.14 zł

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

/

Miękka

54.70 zł

Sacred Hymns and Spiritual Songs Anonym

/

Miękka

121.05 zł

5-Minute Bible Study for Women Emily Biggers

/

Miękka

26.49 zł

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

/

Miękka

146.15 zł

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Twarda

486.46 zł

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

24.38 zł

I Am A Key Larry Odell Johnson

/

Miękka

54.10 zł

Metropolitan Poor Vol 5 Masaie Matsumura

/

Twarda

618.56 zł

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

/

Miękka

252.46 zł

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

/

Twarda

488.47 zł

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

/

Miękka

244.73 zł

Archive Stories Antoinette Burton

/

Twarda

592.47 zł

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

/

Miękka

654.30 zł