. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 0387401156 ankaufen:
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: 24,69 €, größter Preis: 190,85 €, Mittelwert: 145,50 €
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 - 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; Charles Carroll Morgan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - neues Buch

ISBN: 9780387401157

ID: 9780387401157

Computer Science; Software Engineering/Programming and Operating Systems; Probability Theory and Stochastic Processes; Programming Techniques; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages Algorithms, Data refinement, Program semantics, Random algorithms, Sequential programming, Temporal logic, algorithm, logic, model checking, programming, semantics Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: 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 (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; Charles Carroll Morgan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - gebunden oder broschiert

2004, ISBN: 9780387401157

ID: 5660987

Hardcover, Buch, [PU: Springer-Verlag New York Inc.]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
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
Autor:

McIver, Annabelle; Morgan, Caroll

Titel:

Abstraction, Refinement and Proof for Probabilistic Systems

ISBN-Nummer:

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 17.04.2017 00:16:18
ISBN/EAN: 0387401156

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


< zum Archiv...
Benachbarte Bücher