> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq System Beteiligte: Boldo, Sylvie [VerfasserIn]; Melquiond, Guillaume [VerfasserIn] Erschienen: London: ISTE Press, 2017 Oxford: Elsevier, 2017 Umfang: XX, 306 Seiten; Diagramme Sprache: Englisch ISBN: 9781785481123 Entstehung: RVK-Notation: SK 900 : Numerische Mathematik Schlagwörter: Gleitkommarechnung > Algorithmus Gleitkommarechnung > Algorithmus Anmerkungen: Literaturverzeichnis: Seite 289-300