phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

Computer Aided Verification

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Computer Aided Verification Pierre Wolper
Libristo kód: 05274476
Kiadó Springer, Berlin, november 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Teljes leírás
? points 168 b
26 116 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

1950's-1960's North East Scrapyards David Dunn / Puha kötésű
common.buy 5 560 Ft
Was uns die Bibel erzählt, 20 Farbfolien m. Begleitheft Kees de Kort / Játék
common.buy 7 878 Ft
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio CD
common.buy 3 467 Ft
Nierenerkrankungen und -verletzungen, 1 CD-ROM / Digitális CD
common.buy 16 532 Ft
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Puha kötésű
common.buy 79 150 Ft
Between Resource Plenty and State Failure Christoph Vogel / Puha kötésű
common.buy 18 910 Ft
L'Olimpia Giambattista della Porta / Kemény kötésű
common.buy 17 761 Ft
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Puha kötésű
common.buy 10 474 Ft
Archive Stories / Kemény kötésű
common.buy 55 873 Ft
Die Kunst des Zweifelns Andreas U. Sommer / Puha kötésű
common.buy 3 636 Ft

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.

Információ a könyvről

Teljes megnevezés Computer Aided Verification
Szerző Pierre Wolper
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1995
Oldalszám 456
EAN 9783540600459
ISBN 3540600450
Libristo kód 05274476
Kiadó Springer, Berlin
Súly 622
Méretek 156 x 234 x 23

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek
Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása