Refinement

Zum Schlagwort Refinement sind 2 Bücher im Verlag Dr. Kovač erschienen.

1. Graciela Küchle

Counterfactuals, Rationality and Equilibrium Concepts in Game Theory

Counterfactuals, Rationality and Equilibrium Concepts in Game Theory

Hamburg 2009, 140 Seiten, ISBN: 978-3-8300-4681-3

Schlagworte: Game Theory, Equilibrium Refinements, Backward Induction, Sequential Equilibrium, Rationality, Signaling Games, Counterfactuals, Volkswirtschaftslehre , Forschungsarbeit

2. Oscar Slotosch

Refinements in HOLCF: Implementation of Interactive Systems

Refinements in HOLCF: Implementation of Interactive Systems

Hamburg 1997, 296 Seiten
ISBN-13: 978-3-86064-625-0, ISBN-10: 3-86064-625-7

Schlagworte: HOLCF, Beweissystem Isabelle, Verfeinerung, Refinement, Verifikation, Korrektheit, Quotienten, Subtypen

Die Bücher erscheinen in
folgenden Schriftenreihen:

Schriftenreihe volkswirtschaftliche Forschungsergebnisse

Forschungsergebnisse zur Informatik

VDK-Förderfonds 2010

Verlagsprogramm

Wie Sie Autor werden

Bibliotheken &
Buchhandel

Literatur zu
aktuellen Themen

- Literatur-Liste

Hochschulen-Links

Neuerscheinungsdienst

"Refinement" : Literatur zum Schlagwort

© 20.08.10 Verlag Dr. Kovač
http://www.verlagdrkovac.de, e-mail: info@verlagdrkovac.de

Wissenschaftsverlag Dr. Kovač