. .
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: 44.87 EUR, größter Preis: 196.60 EUR, Mittelwert: 143.68 EUR
Abstraction, Refinement and Proof for Probabilistic Systems - McIver, Annabelle Morgan, Carroll
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
McIver, Annabelle Morgan, Carroll:

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

2004, ISBN: 9780387401157

[ED: Hardcover], [PU: Springer, Berlin], The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual programs Part II gives mathematical foundations intended for those studying exactly how it was done and how to build semantic structures/models in their own work and Part III describes a very 'hot' research direction, temporal logic and model checking.Topics and features:- introduces readers to very up-to-date research in the mathematics of rigorous development of randomized (probabilistic) algorithms- 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 logicsAn advanced research survey monograph, integrating three major topic areas: random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models. Essential foundation topic for modern sequential programming methodology.2004. xx, 388 S. 63 SW-Abb., 5 Tabellen.Sofort lieferbar, [SC: 0.00], Neuware, gewerbliches Angebot

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
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 . 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 - 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.
Abstraction Refinement and Proof for Probabilistic Systems 1st Edition - Annabelle McIver
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Annabelle McIver:
Abstraction Refinement and Proof for Probabilistic Systems 1st Edition - neues Buch

ISBN: 9780387401157

ID: 9780387401157

Abstraction Refinement and Proof for Probabilistic Systems 1st Edition Author :Annabelle McIver 9780387401157 0387401156, [PU: Springer]

Neues Buch printsasia.de
new Versandkosten: EUR 0.00
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:

0387401156

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 07.05.2016 01:38:45
ISBN/EAN: 0387401156

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

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