Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Abstraction, Refinement and Proof for Probabilistic Systems

Name: Abstraction, Refinement and Proof for Probabilistic Systems
Brand: Springer-Verlag New York Inc.
SKU: 05247820
Price: 175.2 EUR
Availability: InStock
Author: Annabelle McIver
ISBN: 9780387401157

Annabelle McIver

Carroll Morgan

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05247820

Verlag Springer-Verlag New York Inc., November 2004

Illustrates by example the typical steps necessary in computer science to build a mathematical model...

Libristo-Code: 05247820

425 b

175.20 €

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Obrázková angličtina 4 oblečení Petr Kupka

Buch

0.90 €

Santa Biblia Ntv, Edicion Compacta Letra Grande, Galatas 6:14

Buch

22.80 €

RUSSLAND Katharina Füllenbach

Broschur

15.23 €

Zločin i kazna, dječji Fjodor Mihajlović Dostojevski

Broschur

9.88 €

ESTOY MEJOR SIN TI: vive el amor sin miedo y sin apegos. Laverde

Broschur

26.64 €

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

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, Carroll Morgan

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2004

Anzahl der Seiten 388

EAN 9780387401157

ISBN 0387401156

Libristo-Code 05247820

Verlag Springer-Verlag New York Inc.

Gewicht 1650

Abmessungen 155 x 235 x 25

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