[email protected]
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 Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Abstraction, Refinement and Proof for Probabilistic Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Libristo kód: 05256930
Kiadó Springer-Verlag New York Inc., február 2010
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 467 b
73 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

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

Ezt is ajánljuk

Introduction to Protein Structure Prediction Huzefa Rangwala / Kemény kötésű
common.buy 68 928 Ft
Travels of Ibn Battuta Professor A. D. H. Bivar / Kemény kötésű
common.buy 86 380 Ft
Transmedia Archaeology Carlos Scolari / Kemény kötésű
common.buy 30 636 Ft
Guess What! Level 5 Activity Book with Home Booklet and Online Interactive Activities Spanish Edition Lynne Marie Robertson / Puha kötésű
common.buy 8 069 Ft
Seasoned with Grace Eldress Bertha Lindsay / Puha kötésű
common.buy 7 737 Ft
Earthcare David Clowney / Kemény kötésű
common.buy 78 991 Ft
New Culture of Desire Melinda Davis / Puha kötésű
common.buy 6 871 Ft
Designing Gestural Interfaces Dan Saffer / Puha kötésű
common.buy 21 449 Ft
Irish Magdalen John Broderick / Kemény kötésű
common.buy 10 032 Ft

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .§Presents results of a large and integrated body of research in the area of 'quantitative' program logics.§

Információ a könyvről

Teljes megnevezés Abstraction, Refinement and Proof for Probabilistic Systems
Szerző Annabelle McIver, Charles Carroll Morgan
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 388
EAN 9781441923127
ISBN 1441923128
Libristo kód 05256930
Kiadó Springer-Verlag New York Inc.
Súly 617
Méretek 155 x 235 x 235

Kategória

Matematika és természettudomány > Matematika > Alkalmazott matematika > Sztochasztika
Matematika és természettudomány > Matematika > Valószínűség és statisztika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
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
Számítástechnika és információtechnológia > Operációs rendszerek
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