. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9780387401157 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 24,69 €, größter Preis: 215,19 €, Mittelwert: 100,11 €
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - Annabelle McIver, Charles Carroll Morgan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Annabelle McIver, Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - gebunden oder broschiert

ISBN: 0387401156

[SR: 278787], Gebundene Ausgabe, [EAN: 9780387401157], Springer, Springer, Book, [PU: Springer], Springer, 63418011, Sprachen & Tools, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56254011, Wahrscheinlichkeit & Statistik, 56248011, Angewandte Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
FastMedia "Versenden von USA"
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
McIver, Annabelle, Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - gebunden oder broschiert

2005, ISBN: 9780387401157

ID: 768507972

Springer , 2005-01-05 . Hardcover . New., Springer, 2005-01-05

gebrauchtes bzw. antiquarisches Buch Biblio.com
Gloria books
Versandkosten: EUR 18.77
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 (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 (Monographs in Computer Science) - McIver, Annabelle; Morgan, Charles Carroll
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
McIver, Annabelle; Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - gebunden oder broschiert

ISBN: 9780387401157

ID: 975269042

Springer. Hardcover. 0387401156 Brand New Book Ships From Multiple locations.Delivery will take 4-14 days. . New., Springer

gebrauchtes bzw. antiquarisches Buch Biblio.com
IBestBargains, LLC
Versandkosten: EUR 23.24
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle; Morgan, Charles Carroll
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
McIver, Annabelle; Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - gebunden oder broschiert

ISBN: 9780387401157

ID: 975106926

Springer. Hardcover. 0387401156 Brand New Delivery in 4-14 business days. . New., Springer

gebrauchtes bzw. antiquarisches Buch Biblio.com
Gait Inc
Versandkosten: EUR 26.81
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
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 . 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 24.05.2017 11:50:03
ISBN/EAN: 9780387401157

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


< zum Archiv...
Benachbarte Bücher