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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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 Tvrdi uvez
Knjiga Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Libristo kod: 05247820
Nakladnici Springer-Verlag New York Inc., studeni 2004
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 406 b
167.67 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

Santa Biblia Ntv, Edicion Compacta Letra Grande, Galatas 6:14 / Knjiga Knjiga
common.buy 23.24 €
RUSSLAND Katharina Füllenbach / Knjiga Meki uvez
common.buy 15.25 €
Projeto de um VANT para aplicacao em pulverizacao agricola Jose Roberto Rasi / Knjiga Meki uvez
common.buy 29.40 €
Obrázková angličtina 4 oblečení Petr Kupka / Knjiga Knjiga
common.buy 0.90 €
Post?powanie z nie?ywotnymi, niedojrza?ymi m?odymi z?bami sta?ymi Swati Karkare / Knjiga Meki uvez
common.buy 48.91 €
Zločin i kazna, dječji Fjodor Mihajlović Dostojevski / Knjiga Meki uvez
common.buy 9.39 €
ESTOY MEJOR SIN TI: vive el amor sin miedo y sin apegos. Laverde / Knjiga Meki uvez
common.buy 25.56 €

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, Carroll Morgan
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2004
Broj stranica 388
EAN 9780387401157
ISBN 0387401156
Libristo kod 05247820
Nakladnici Springer-Verlag New York Inc.
Težina 1650
Dimenzije 155 x 235 x 25

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

Berlin: A decorative book for coffee tables, end tables, bookshelves and interior design styling - Stack Germany city books to Contemporary Interior Design / Knjiga Meki uvez
common.buy 21.11 €
They Bore the Stigmata: (18th-20th Century Stigmatists) Michael Freze / Knjiga Meki uvez
common.buy 10.30 €
A Fiery Friendship Lisa Fiedler / Knjiga Tvrdi uvez
common.buy 17.17 €
Healing for the Millions Serge King / Knjiga Meki uvez
common.buy 15.56 €
Passion Barbara De Angelis / Knjiga Meki uvez
common.buy 10.80 €
Company Directors' Responsibilities to Creditors Andrew Keay / Knjiga Meki uvez
common.buy 96.92 €
Wizard of Oz and Who He Was L. F. Baum / Knjiga Meki uvez
common.buy 17.37 €
Rickham's Neonatal Surgery Paul D. Losty / Knjiga Tvrdi uvez
common.buy 226.70 €
Geoinformatics for Intelligent Transportation Igor Ivan / Knjiga Tvrdi uvez
common.buy 102.88 €
Frost Thomas Bernhard / Knjiga Meki uvez
common.buy 17.98 €
Urban Theory John Rennie Short / Knjiga Meki uvez
common.buy 57.20 €
Who was St Patrick? E.A. Thompson / Knjiga Meki uvez
common.buy 25.26 €
State of the Unions Philip M. Dine / Knjiga Meki uvez
common.buy 19.50 €

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