> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function Beteiligte: Shilov, N. V.; Kondratyev, D. A.; Anureev, I. S.; Bodin, E. V.; Promsky, A. V. Erschienen: Allerton Press, 2019 Erschienen in: Automatic Control and Computer Sciences, 53 (2019) 7, Seite 595-616 Sprache: Englisch DOI: 10.3103/s0146411619070186 ISSN: 0146-4116; 1558-108X Schlagwörter: Signal Processing ; Control and Systems Engineering ; Software Entstehung: Anmerkungen: