Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Abstraction, Refinement and Proof for Probabilistic Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Libristo-Code: 05256930
Verlag Springer-Verlag New York Inc., Februar 2010
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 391 b
159.89 € inkl. MwSt.
Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau Kaci / Buch Broschur
common.buy 24.79 €
The Head & the Load William Kentridge / Buch Hardcover
common.buy 72.49 €
Ninnoli Gerolamo Rovetta / Buch Broschur
common.buy 23.99 €
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci BARY&#X00142 / Buch Broschur
common.buy 7.09 €
Der Shakespeare-Dieb Gary Blackwood / Buch Broschur
common.buy 10.29 €
Arménie – Rother Michael Wellhausen / Buch Broschur
common.buy 17.39 €
prince. Il «principe» in francese (XVI-XVII secolo) Niccoló Machiavelli / Buch Buch
common.buy 55.59 €

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver, Charles Carroll Morgan
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 388
EAN 9781441923127
ISBN 1441923128
Libristo-Code 05256930
Verlag Springer-Verlag New York Inc.
Gewicht 617
Abmessungen 155 x 235 x 235

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik > Stochastik
Mathematik und Naturwissenschaften > Mathematik > Wahrscheinlichkeitsrechnung und Statistik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Macromolecular Crystallography Maria Armenia Carrondo / Buch Hardcover
common.buy 181.49 €
Demnächst
Super Minds Level 5 Student's Book with Digital Pack Special Edition Herbert Puchta / Buch Broschur
common.buy 9.59 €
What Winners Won't Tell You: Lessons from a Legendary Defender Jenkins / Buch Hardcover
common.buy 33.99 €
Toxic Travel Guide Frankie McNamara / Buch Hardcover
common.buy 14.69 €
It Starts with YOU! LASHAI BEN SALMI / Buch Broschur
common.buy 17.69 €
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 / Buch Broschur
common.buy 15.39 €
Pathways to Bliss Joseph Campbell / Buch Broschur
common.buy 36.79 €
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications Bayle Bayle / Buch Hardcover
common.buy 173.49 €
iQuit Vincent Yanez / Buch Broschur
common.buy 11.59 €
Ave Maria: selection from a chirographic opus in 300 languages Z W Wolkowski / Buch Broschur
common.buy 24.79 €
Comparing Super-Diversity Fran Meissner / Buch Broschur
common.buy 74.39 €
Nanohybrid Catalyst based on Carbon Nanotube Rasel Das / Buch Hardcover
common.buy 118.29 €
If Pressed Andrew McEwan / Buch Broschur
common.buy 14.99 €
Love in a Cold Climate Nancy Mitford / Buch Broschur
common.buy 13.49 €
Vitamix Cookbook Jodi Berg / Buch Hardcover
common.buy 28.19 €
Transmedia Archaeology Carlos Scolari / Buch Hardcover
common.buy 71.69 €
Mandoa, Mandoa! Winifred Holtby / Buch Broschur
common.buy 26.99 €
New Culture of Desire Melinda Davis / Buch Broschur
common.buy 17.09 €
Designing Gestural Interfaces Dan Saffer / Buch Broschur
common.buy 52.79 €
Introduction to Protein Structure Prediction Huzefa Rangwala / Buch Hardcover
common.buy 170.09 €
Earthcare David Clowney / Buch Hardcover
common.buy 187.89 €
Encountering the Past in Nature Timo Myllyntaus / Buch Broschur
common.buy 27.29 €
Integration in an Expanding European Union: Reasse ssing the Fundamentals J. H. H. Weiler / Buch Broschur
common.buy 28.29 €
Archaeology of Ancient Mexico and Central America David L. Webster / Buch Hardcover
common.buy 383.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?