. .
Deutsch
Deutschland
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 116,33 €, größter Preis: 196,60 €, Mittelwert: 166,48 €
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Annabelle McIver:

Abstraction, Refinement and Proof for Probabilistic Systems - gebunden oder broschiert

ISBN: 9780387401157

ID: 9780387401157

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Abstraction, Refinement and Proof for Probabilistic Systems: Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Programmieren (EDV) / Entwicklung COMPUTERS / Computer Science COMPUTERS / Programming / General COMPUTERS / Programming Languages / General, Springer-Verlag Gmbh

Neues Buch Rheinberg-Buch.de
Buch, Englisch, Neuware Versandkosten:Ab 20¤ Versandkostenfrei in Deutschland, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Annabelle McIver:

Abstraction, Refinement and Proof for Probabilistic Systems - neues Buch

ISBN: 9780387401157

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - 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., [SC: 0.00], Neuware, gewerbliches Angebot, 243x164x25 mm, [GW: 750g]

Neues Buch Booklooker.de
Buchhandlung Hoffmann
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Annabelle McIver:
Abstraction, Refinement and Proof for Probabilistic Systems - neues Buch

ISBN: 9780387401157

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm ., [SC: 0.00], Neuware, gewerbliches Angebot, 243x164x25 mm, [GW: 750g]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Abstraction, Refinement and Proof for Probabilistic Systems - McIver, Annabelle; Morgan, Caroll
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
McIver, Annabelle; Morgan, Caroll:
Abstraction, Refinement and Proof for Probabilistic Systems - gebunden oder broschiert

2005, ISBN: 0387401156

ID: A3650861

Gebundene Ausgabe Programmieren (EDV) / Entwicklung, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Programming Languages / General, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Annabelle McIver:
Abstraction, Refinement and Proof for Probabilistic Systems - gebunden oder broschiert

ISBN: 9780387401157

ID: 9780387401157

Abstraction, Refinement and Proof for Probabilistic Systems Abstraction-Refinement-and-Proof-for-Probabilistic-Systems~~Annabelle-McIver Computers>Xxxsoftware Engr>* Desc Unknown Hardcover, Springer New York

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Abstraction, Refinement and Proof for Probabilistic Systems
Autor:

McIver, Annabelle; Morgan, Caroll

Titel:

Abstraction, Refinement and Proof for Probabilistic Systems

ISBN-Nummer:

9780387401157

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.

Detailangaben zum Buch - Abstraction, Refinement and Proof for Probabilistic Systems


EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Gebundene Ausgabe
Erscheinungsjahr: 2005
Herausgeber: Springer-Verlag GmbH
388 Seiten
Gewicht: 0,750 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 03.06.2007 10:42:20
Buch zuletzt gefunden am 04.02.2017 22:44:22
ISBN/EAN: 9780387401157

ISBN - alternative Schreibweisen:
0-387-40115-6, 978-0-387-40115-7

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher