Quotienten

Zum Schlagwort Quotienten ist 1 Buch im Verlag Dr. Kovač erschienen.

1. 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

VDK-Förderfonds 2010

Verlagsprogramm

Wie Sie Autor werden

Bibliotheken &
Buchhandel

Literatur zu
aktuellen Themen

- Literatur-Liste

Hochschulen-Links

Neuerscheinungsdienst

"Quotienten" : Literatur zum Schlagwort

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

Wissenschaftsverlag Dr. Kovač