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 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,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 356 b
147.09 €
Vanjske zalihe Šaljemo za 10-18 dana

Do 30 dana za povrat

Kupci su kupili i

Guess What! Level 5 Activity Book with Home Booklet and Online Interactive Activities Spanish Edition Lynne Marie Robertson / Knjiga Meki uvez
common.buy 29.65 €
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau Kaci / Knjiga Meki uvez
common.buy 23.07 €
The Head & the Load William Kentridge / Knjiga Tvrdi uvez
common.buy 67.31 €
Ninnoli Gerolamo Rovetta / Knjiga Meki uvez
common.buy 11.73 €
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci BARY&#X00142 / Knjiga Meki uvez
common.buy 6.47 €
Der Shakespeare-Dieb Gary Blackwood / Knjiga Meki uvez
common.buy 8.29 €
Arménie – Rother Michael Wellhausen / Knjiga Meki uvez
common.buy 15.68 €
prince. Il «principe» in francese (XVI-XVII secolo) Niccoló Machiavelli / Knjiga Knjiga
common.buy 51.12 €

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

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

Moglo bi vas zanimati i

Macromolecular Crystallography Maria Armenia Carrondo / Knjiga Tvrdi uvez
common.buy 154.48 €
Super Minds Level 5 Student's Book with Digital Pack Special Edition Herbert Puchta / Knjiga Meki uvez
common.buy 9.00 €
What Winners Won't Tell You: Lessons from a Legendary Defender Jenkins / Knjiga Tvrdi uvez
common.buy 30.56 €
Toxic Travel Guide Frankie McNamara / Knjiga Tvrdi uvez
common.buy 13.96 €
It Starts with YOU! LASHAI BEN SALMI / Knjiga Meki uvez
common.buy 17.00 €
How to Make Huge Cash with Section 8 Rentals the Landlord Handbook How to Be a Great Landlord & How Small Investors Can Get Started in Commercial Prop Ernie Braveboy / Knjiga Meki uvez
common.buy 14.87 €
Pathways to Bliss Joseph Campbell / Knjiga Meki uvez
common.buy 35.53 €
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications Bayle Bayle / Knjiga Tvrdi uvez
common.buy 159.04 €
iQuit Vincent Yanez / Knjiga Meki uvez
common.buy 11.23 €
Ave Maria: selection from a chirographic opus in 300 languages Z W Wolkowski / Knjiga Meki uvez
common.buy 23.88 €
Comparing Super-Diversity Fran Meissner / Knjiga Meki uvez
common.buy 72.17 €
Nanohybrid Catalyst based on Carbon Nanotube Rasel Das / Knjiga Tvrdi uvez
common.buy 103.05 €
If Pressed Andrew McEwan / Knjiga Meki uvez
common.buy 14.26 €
Love in a Cold Climate Nancy Mitford / Knjiga Meki uvez
common.buy 12.85 €
Vitamix Cookbook Jodi Berg / Knjiga Tvrdi uvez
common.buy 26.82 €
Transmedia Archaeology Carlos Scolari / Knjiga Tvrdi uvez
common.buy 66.00 €
Mandoa, Mandoa! Winifred Holtby / Knjiga Meki uvez
common.buy 27.32 €
New Culture of Desire Melinda Davis / Knjiga Meki uvez
common.buy 16.29 €
Designing Gestural Interfaces Dan Saffer / Knjiga Meki uvez
common.buy 51.12 €
Introduction to Protein Structure Prediction Huzefa Rangwala / Knjiga Tvrdi uvez
common.buy 164.20 €
Earthcare David Clowney / Knjiga Tvrdi uvez
common.buy 172.91 €
Encountering the Past in Nature Timo Myllyntaus / Knjiga Meki uvez
common.buy 26.51 €
Integration in an Expanding European Union: Reasse ssing the Fundamentals J. H. H. Weiler / Knjiga Meki uvez
common.buy 25.81 €
Archaeology of Ancient Mexico and Central America David L. Webster / Knjiga Tvrdi uvez
common.buy 369.42 €

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?