Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Abstraction, Refinement and Proof for Probabilistic Systems

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Libristo-code: 05256930
Uitgeverij Springer-Verlag New York Inc., februari 2010
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 373 b
153.91 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Guess What! Level 5 Activity Book with Home Booklet and Online Interactive Activities Spanish Edition Lynne Marie Robertson / Boek Gebonden (paperback)
common.buy 29.54 €
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau Kaci / Boek Gebonden (paperback)
common.buy 24.10 €
The Head & the Load William Kentridge / Boek Gebonden (harde band)
common.buy 70.09 €
Ninnoli Gerolamo Rovetta / Boek Gebonden (paperback)
common.buy 11.69 €
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci BARY&#X00142 / Boek Gebonden (paperback)
common.buy 6.75 €
Der Shakespeare-Dieb Gary Blackwood / Boek Gebonden (paperback)
common.buy 8.26 €
Arménie – Rother Michael Wellhausen / Boek Gebonden (paperback)
common.buy 16.53 €
prince. Il «principe» in francese (XVI-XVII secolo) Niccoló Machiavelli / Boek Boek
common.buy 53.45 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Abstraction, Refinement and Proof for Probabilistic Systems
Auteur Annabelle McIver, Charles Carroll Morgan
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 388
EAN 9781441923127
ISBN 1441923128
Libristo-code 05256930
Uitgeverij Springer-Verlag New York Inc.
Gewicht 617
Afmetingen 155 x 235 x 235

Categorieën

Wiskunde en wetenschap > Wiskunde > Toegepaste wiskunde > Stochastiek
Wiskunde en wetenschap > Wiskunde > Waarschijnlijkheid en statistieken
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Macromolecular Crystallography Maria Armenia Carrondo / Boek Gebonden (harde band)
common.buy 153.91 €
Super Minds Level 5 Student's Book with Digital Pack Special Edition Herbert Puchta / Boek Gebonden (paperback)
common.buy 8.97 €
What Winners Won't Tell You: Lessons from a Legendary Defender Jenkins / Boek Gebonden (harde band)
common.buy 32.37 €
Toxic Travel Guide Frankie McNamara / Boek Gebonden (harde band)
common.buy 17.94 €
It Starts with YOU! LASHAI BEN SALMI / Boek Gebonden (paperback)
common.buy 16.94 €
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 / Boek Gebonden (paperback)
common.buy 14.82 €
Pathways to Bliss Joseph Campbell / Boek Gebonden (paperback)
common.buy 35.39 €
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications Bayle Bayle / Boek Gebonden (harde band)
common.buy 166.72 €
iQuit Vincent Yanez / Boek Gebonden (paperback)
common.buy 11.19 €
Ave Maria: selection from a chirographic opus in 300 languages Z W Wolkowski / Boek Gebonden (paperback)
common.buy 23.79 €
Comparing Super-Diversity Fran Meissner / Boek Gebonden (paperback)
common.buy 71.91 €
Nanohybrid Catalyst based on Carbon Nanotube Rasel Das / Boek Gebonden (harde band)
common.buy 102.67 €
If Pressed Andrew McEwan / Boek Gebonden (paperback)
common.buy 14.21 €
Love in a Cold Climate Nancy Mitford / Boek Gebonden (paperback)
common.buy 12.80 €
Vitamix Cookbook Jodi Berg / Boek Gebonden (harde band)
common.buy 26.72 €
Transmedia Archaeology Carlos Scolari / Boek Gebonden (harde band)
common.buy 69.08 €
Mandoa, Mandoa! Winifred Holtby / Boek Gebonden (paperback)
common.buy 26.01 €
New Culture of Desire Melinda Davis / Boek Gebonden (paperback)
common.buy 16.23 €
Designing Gestural Interfaces Dan Saffer / Boek Gebonden (paperback)
common.buy 50.93 €
Introduction to Protein Structure Prediction Huzefa Rangwala / Boek Gebonden (harde band)
common.buy 163.59 €
Earthcare David Clowney / Boek Gebonden (harde band)
common.buy 180.84 €
Encountering the Past in Nature Timo Myllyntaus / Boek Gebonden (paperback)
common.buy 26.42 €
Integration in an Expanding European Union: Reasse ssing the Fundamentals J. H. H. Weiler / Boek Gebonden (paperback)
common.buy 27.12 €
Archaeology of Ancient Mexico and Central America David L. Webster / Boek Gebonden (harde band)
common.buy 368.05 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?