Buch beschaffen
Refinements in HOLCF: Implementation of Interactive Systems
Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit…
Printexemplar erwerben
Selbstverständlich können Sie das Buch auch in Ihrer Buchhandlung vor Ort bestellen.
Bibliotheken können zudem unsere eBooks bei ProQuest beziehen.
Geschäftskunden bestellen bitte direkt beim Verlag Dr. Kovač, gern auch per E-Mail.
In den Bibliotheken
Falls Sie das Buch nicht selbst erwerben möchten, können Sie sich an Ihre Uni-Bibliothek wenden und den Erwerb des gewünschten Titels zum Kauf durch Ihre Bibliothek vorschlagen. Hinter dem obigen Button finden Sie Hilfsmittel, damit Sie schneller ans Ziel kommen.