phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Abstraction, Refinement and Proof for Probabilistic Systems

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Libristo kod: 05256930
Nakladnici Springer-Verlag New York Inc., veljača 2010
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 467 b
186.25 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Introduction to Protein Structure Prediction Huzefa Rangwala / Tvrdi uvez
common.buy 174.74 €
Travels of Ibn Battuta Professor A. D. H. Bivar / Tvrdi uvez
common.buy 219.04 €
Transmedia Archaeology Carlos Scolari / Tvrdi uvez
common.buy 77.68 €
Guess What! Level 5 Activity Book with Home Booklet and Online Interactive Activities Spanish Edition Lynne Marie Robertson / Meki uvez
common.buy 20.47 €
Seasoned with Grace Eldress Bertha Lindsay / Meki uvez
common.buy 19.56 €
Earthcare David Clowney / Tvrdi uvez
common.buy 200.27 €
New Culture of Desire Melinda Davis / Meki uvez
common.buy 17.44 €
Designing Gestural Interfaces Dan Saffer / Meki uvez
common.buy 54.37 €
Irish Magdalen John Broderick / Tvrdi uvez
common.buy 25.42 €

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.§

Informacije o knjizi

Puni naziv Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver, Charles Carroll Morgan
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 388
EAN 9781441923127
ISBN 1441923128
Libristo kod 05256930
Nakladnici Springer-Verlag New York Inc.
Težina 617
Dimenzije 155 x 235 x 235

Kategorija

Mathematics & Science > Mathematics > Applied mathematics > Stochastics
Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
Computing & Information Technology > Operating systems
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

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